-
Committer:
Wideland's Bunnybot
-
Date:
2018-10-17 21:35:00 UTC
-
mfrom:
(8890.1.10 cmake_18_10_test)
-
Revision ID:
bunnybot@widelands.org-20181017213500-0w9gv9allah4325e
Merged lp:~stonerl/widelands/cmake_18_10_test:
Add UseSystemInfo.cmake to determine the Linux Distribution in use.
Set CMP0072 to OLD for Ubuntu 18.10 - for good.