/ default tip
drwxr-xr-x [up]
drwxr-xr-x levels
drwxr-xr-x old
-rw-r--r-- 2007-02-17 15:14 +0100 17 .hgignore
-rw-r--r-- 2007-02-17 15:14 +0100 170 Makefile
-rw-r--r-- 2007-02-17 15:14 +0100 195 Makefile.deps
-rw-r--r-- 2007-02-17 15:14 +0100 77 Makefile.opt
-rw-r--r-- 2007-02-17 15:14 +0100 19 README
-rw-r--r-- 2007-02-17 15:14 +0100 12873 algorithm.c
-rw-r--r-- 2007-02-17 15:14 +0100 1401 general.h
-rw-r--r-- 2007-02-17 15:14 +0100 990 map.c
-rw-r--r-- 2007-02-17 15:14 +0100 6644 os.c
-rw-r--r-- 2007-02-17 15:14 +0100 781 sokosol.c