log rlgterm.js @ 46:59ecd99845eb

age author description
Sat, 09 Jun 2012 17:00:25 -0700 John "Elwin" Edwards rlgterm.js: make the options table functional.