Bruce Evans 9c0dc173cc Change `install' to `${INSTALL}' so that default install flags can be ... specified in the top level Makefiles.		1995-07-25 00:37:58 +00:00
..
Makefile	Change `install' to `${INSTALL}' so that default install flags can be	1995-07-25 00:37:58 +00:00
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	…