r11236: update host name
-rw-r--r-- 559 INSTALL
-rw-r--r-- 699 Makefile
drwxr-xr-x - debian
-rw-r--r-- 4209 getopt-excerpt.lisp
-rw-r--r-- 5572 kmrcl-excerpt.lisp
-rw-r--r-- 5334 main.lisp
-rw-r--r-- 524 package.lisp
-rwxr-xr-x 35 vcs-tree
-rw-r--r-- 856 vcs-tree.1
-rw-r--r-- 1420 vcs-tree.asd