Releasing debian version 4.0~alpha13-1.
-rw-r--r-- 69 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 3848 Makefile
-rw-r--r-- 14 VERSION
drwxr-xr-x - debian
drwxr-xr-x - manual