/
drwxr-xr-x [up]
drwxr-xr-x levels
drwxr-xr-x old
-rw-r--r-- 2006-05-18 23:33 +0200 17 .hgignore
-rw-r--r-- 2006-05-18 23:33 +0200 48 .hgtags
-rw-r--r-- 2006-05-18 23:33 +0200 96 Makefile
-rw-r--r-- 2006-05-18 23:33 +0200 195 Makefile.deps
-rw-r--r-- 2006-05-18 23:33 +0200 77 Makefile.opt
-rw-r--r-- 2006-05-18 23:33 +0200 19 README
-rw-r--r-- 2006-05-18 23:33 +0200 576 TODO
-rw-r--r-- 2006-05-18 23:33 +0200 16037 algorithm.c
-rw-r--r-- 2006-05-18 23:33 +0200 2036 general.h
-rw-r--r-- 2006-05-18 23:33 +0200 963 map.c
-rw-r--r-- 2006-05-18 23:33 +0200 3604 os.c
-rw-r--r-- 2006-05-18 23:33 +0200 785 sokosol.c