-
Committer:
Wideland's Bunnybot
-
Date:
2017-05-15 05:42:20 UTC
-
mfrom:
(8311.1.4 widelands_includes)
-
Revision ID:
bunnybot@widelands.org-20170515054220-9meajdwj2on14tj4
Merged lp:~widelands-dev/widelands/widelands_includes:
Removed unused references to wlapplication.h and moved Options into a separate library.