]> git.pond.sub.org Git - empserver/tree - man/
SAVE_FINISH_PATHS hasn't been used since 4.2.2, remove it
[empserver] / man /
drwxr-xr-x   ..
-rw-r--r-- 2804 emp_server.6
-rw-r--r-- 1240 empdump.6
-rw-r--r-- 2885 empire.6
-rw-r--r-- 672 empsched.6
-rw-r--r-- 2300 fairland.6
-rw-r--r-- 606 files.6
-rw-r--r-- 614 pconfig.6