perry b8637fec9f get rid of the stuff from hide		2002-01-29 20:20:57 +00:00
..
mi	get rid of the stuff from hide	2002-01-29 20:20:57 +00:00
obsolete.mi	obsolete /usr/games/hide/*, per tech-userland consensus	2002-01-27 00:38:25 +00:00