Remove contrib/cmake.

This mainly contained a bootstrap script that did nothing except say that it would be deleted soon. It has been 5 years, so it should be safe to go away now.
Z3Prover · Aug 3, 2022 · 55b70b4 · 55b70b4
1 parent 112dba5
commit 55b70b4
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 57 deletions.
diff --git a/contrib/cmake/bootstrap.py b/contrib/cmake/bootstrap.py
diff --git a/contrib/cmake/maintainers.txt b/contrib/cmake/maintainers.txt
diff --git a/contrib/cmake/src/test/lp/CMakeLists.txt b/contrib/cmake/src/test/lp/CMakeLists.txt