Fix bad merge.
tree58e2e1d00a5eb651f761bab28ba7da52f155da1a
-rw-r--r-- 61 .gitignore
-rw-r--r-- 26434 COPYING
-rw-r--r-- 1897 LICENSE
-rw-r--r-- 1251 Makefile
-rw-r--r-- 797 TODO
-rw-r--r-- 313 app.mk
drwxr-xr-x - build
-rw-r--r-- 250 config.mk
drwxr-xr-x - doc
-rw-r--r-- 809 gen.mk
-rw-r--r-- 2085 include.mk
drwxr-xr-x - include
-rw-r--r-- 194 lib.mk
drwxr-xr-x - libs
drwxr-xr-x - pylib
drwxr-xr-x - tests