mimo b38a6e9383 add hotkey for deleting saved games, addresses #3018 ...

This was SVN commit r16236.

2015-01-26 21:05:31 +00:00

..

default.cfg

add hotkey for deleting saved games, addresses #3018

2015-01-26 21:05:31 +00:00

dev.cfg

Write mod data correctly. Fixes #1940.

2013-06-11 20:50:09 +00:00

keys.txt

Fixed some keys not being recognized after a719696658. Refs #195.

2014-08-04 16:48:54 +00:00