chiark / gitweb /
New elite-cmdr tool.
-rw-r--r-- 55 .cvsignore
-rw-r--r-- 2051 Makefile
-rw-r--r-- 16170 README
-rwxr-xr-x 6350 elite-cmdr
-rwxr-xr-x 1343 elite-describe
-rwxr-xr-x 33220 elite-editor
-rwxr-xr-x 1430 elite-find
-rwxr-xr-x 5544 elite-map
-rwxr-xr-x 2059 elite-pairs
-rwxr-xr-x 1860 elite-path
-rwxr-xr-x 3272 elite-prices
-rwxr-xr-x 1702 elite-reach
-rw-r--r-- 23326 elite.c
-rw-r--r-- 51 elite.def
-rw-r--r-- 12666 elite.tcl