log options.html @ 138:144595e50376

age author description
Wed, 12 Sep 2012 16:03:09 -0700 John "Elwin" Edwards Options-related UI improvements.