Merge branch 'master' into jgrpp

2020-10-14 17:38:23 +01:00
parent 5edb080deb 313141d2f1
commit d85a529f87
61 changed files with 2031 additions and 1507 deletions
--- a/src/music/CMakeLists.txt
+++ b/src/music/CMakeLists.txt
@@ -1,4 +1,4 @@
-if (NOT OPTION_DEDICATED)
+if(NOT OPTION_DEDICATED)
    add_files(
        allegro_m.cpp
        allegro_m.h
@@ -42,7 +42,7 @@ if (NOT OPTION_DEDICATED)
        os2_m.h
        CONDITION OPTION_OS2
    )
-endif (NOT OPTION_DEDICATED)
+endif()

 add_files(
    midi.h