log rlgterm.js @ 44:b848cb50cd69

age author description
Sat, 09 Jun 2012 14:13:07 -0700 John "Elwin" Edwards rlgterm.js: present game options to the player.
Sat, 09 Jun 2012 10:44:11 -0700 John "Elwin" Edwards rlgterm.js: fix failure to recognize end of game