Eduardo Bart 159eb98df2 introduce startup options ... * startup options with -help and -version * many startup options for graphics		2012-03-22 13:10:12 -03:00
..
hotkeys_manager.lua	introduce startup options	2012-03-22 13:10:12 -03:00
hotkeys_manager.otmod	introduce startup options	2012-03-22 13:10:12 -03:00
hotkeys_manager.otui	introduce startup options	2012-03-22 13:10:12 -03:00
icon.png	introduce startup options	2012-03-22 13:10:12 -03:00