cgd c4c01d75b2 specify man pages the new way.		1994-12-22 09:31:26 +00:00
..
Makefile	specify man pages the new way.	1994-12-22 09:31:26 +00:00
comp.c	…
end.c	…
extern.c	…
init.c	…
mille.6	…
mille.c	…
mille.h	…
misc.c	…
move.c	…
print.c	…
roll.c	…
save.c	…
table.c	…
types.c	…
unctrl.h	…
varpush.c	…