32ed014 18.08.1

Authored and Committed by rdieter 5 years ago
    18.08.1
    -DBUILD_OKULARKIRIGAMI:BOOL=OFF for now
    
        
file modified
+1 -0
file modified
+8 -2
file modified
+1 -1