cgd c4c01d75b2 specify man pages the new way.		1994-12-22 09:31:26 +00:00
..
Makefile	…
extern.c	…
flush_in.c	…
init_field.c	…
main.c	…
make_level.c	…
move.c	…
move_robs.c	…
pathnames.h	…
play_level.c	…
query.c	…
rnd_pos.c	…
robots.6	…
robots.h	…
score.c	…