-
Committer:
Wideland's Bunnybot
-
Date:
2019-07-31 20:37:51 UTC
-
mfrom:
(9169.1.1 bug-1838193-savedir)
-
Revision ID:
bunnybot@widelands.org-20190731203751-c0jev8oflh75g9wv
Merged lp:~widelands-dev/widelands/bug-1838193-savedir:
Ensure save directory exists when checking for campaigns progress.