Merge branch 'debian' of ssh://ray.cslab.ece.ntua.gr/repos/archip into debian
-rw-r--r-- 199 Makefile
drwxr-xr-x - debian
-rwxr-xr-x 436 make_install_file.sh
-rwxr-xr-x 297 make_pkg.sh
drwxr-xr-x - xseg