Update: Merge branch 'jgrpp_master_cmake' into jgrpp_cmake

2020-06-27 20:46:53 +12:00
parent 15c600d64f fd2a120c9d
commit cf8ea74733
329 changed files with 4044 additions and 32403 deletions
--- a/src/3rdparty/cpp-btree/CMakeLists.txt
+++ b/src/3rdparty/cpp-btree/CMakeLists.txt
@@ -0,0 +1,9 @@
+add_files(
+    btree.h
+    btree_container.h
+    btree_map.h
+    btree_set.h
+    safe_btree.h
+    safe_btree_map.h
+    safe_btree_set.h
+)