backport: small copy&paste error fixed
-rw-r--r-- 16 .gitignore
-rw-r--r-- 18693 COPYING
-rw-r--r-- 1512 README
drwxr-xr-x - backport
-rw-r--r-- 4429 copy-list
-rw-r--r-- 3727 dependencies
drwxr-xr-x - devel
-rwxr-xr-x 44856 gentree.py
drwxr-xr-x - integration-patches
drwxr-xr-x - lib
drwxr-xr-x - patches