Viewing all changes in revision 8841.
- Committer: nasenbaer
- Date: 2018-09-18 18:59:10 UTC
- mfrom: (8802.1.1 widelands)
- Revision ID: nasenbaer-20180918185910-hzzqjfgd8wiovo1q
make splashscreen optional + add option to option menu
- files modified:
- src/ui_fsmenu/options.cc
expand all
collapse all
added
removed
