Merge pull request #751 from 32blit/patch-bump-tools-0.7.2

Bump required tools version to 0.7.2
32blit · Jan 27, 2022 · 8eded36 · 8eded36
2 parents 1823ed4 + 4141c74
commit 8eded36
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/32blit-config.cmake b/32blit-config.cmake
@@ -3,7 +3,7 @@ if (NOT DEFINED BLIT_ONCE)
 
 	set(CMAKE_CXX_STANDARD 17)
 	set(CMAKE_CXX_EXTENSIONS OFF)
-	set(BLIT_MINIMUM_TOOLS_VERSION "0.7.1")
+	set(BLIT_MINIMUM_TOOLS_VERSION "0.7.2")
 
 	find_package(PythonInterp 3.6 REQUIRED)