JoshuaJB 5ec0dc8ae8 Fix a bug with one of the lobby settings I added to the options window. ... This was SVN commit r14680.		2014-01-26 05:51:48 +00:00
..
options.js	Convert most dialogs over to new style	2011-08-27 18:34:54 +00:00
options.xml	Fix a bug with one of the lobby settings I added to the options window.	2014-01-26 05:51:48 +00:00