JoshuaJB 704d0f9511 Add config settings for FPS, realtime, and gametime overlays. ... This was SVN commit r15634.		2014-08-13 18:56:07 +00:00
..
options.js	Add config settings for FPS, realtime, and gametime overlays.	2014-08-13 18:56:07 +00:00
options.xml	Lots of GUI fixes to issues pointed out by alpha123 on IRC.	2014-05-27 05:34:28 +00:00