/
drwxr-xr-x [up]
drwxr-xr-x levels
drwxr-xr-x old
-rw-r--r-- 2006-05-07 19:31 +0200 17 .hgignore
-rw-r--r-- 2006-05-07 19:31 +0200 96 Makefile
-rw-r--r-- 2006-05-07 19:31 +0200 195 Makefile.deps
-rw-r--r-- 2006-05-07 19:31 +0200 77 Makefile.opt
-rw-r--r-- 2006-05-07 19:31 +0200 19 README
-rw-r--r-- 2006-05-07 19:31 +0200 319 TODO
-rw-r--r-- 2006-05-07 19:31 +0200 14242 algorithm.c
-rw-r--r-- 2006-05-07 19:31 +0200 2036 general.h
-rw-r--r-- 2006-05-07 19:31 +0200 963 map.c
-rw-r--r-- 2006-05-07 19:31 +0200 3604 os.c
-rw-r--r-- 2006-05-07 19:31 +0200 785 sokosol.c