Revision 1.473 2000/02/27 04:55:51 ajc
* Added "keymenu()" generic menu-maker to commands.c
* Blocked non-numeric input to intprompt() (fixes bug #16)
Revision 1.473 2000/02/27 04:55:51 ajc
* Added "keymenu()" generic menu-maker to commands.c
* Blocked non-numeric input to intprompt() (fixes bug #16)