From 10190adf3dd436ac03afa3bab94d9beff6b21a8a Mon Sep 17 00:00:00 2001
From: Christoph Scholtes <cschol2112@gmail.com>
Date: Sun, 8 Sep 2024 09:46:28 -0600
Subject: [PATCH] Review and integrate NullSet at version 2.0.0. #805

---
 .gitmodules   | 3 +++
 repos/NullSet | 1 +
 2 files changed, 4 insertions(+)
 create mode 160000 repos/NullSet

diff --git a/.gitmodules b/.gitmodules
index 29a834d8..68ea45db 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -843,3 +843,6 @@
 [submodule "repos/PitchGrid"]
 	path = repos/PitchGrid
 	url = https://github.com/peterjungx/PitchGridRack.git
+[submodule "repos/NullSet"]
+	path = repos/NullSet
+	url = https://github.com/nicholas-j-denning/NullSet.git
diff --git a/repos/NullSet b/repos/NullSet
new file mode 160000
index 00000000..3637d338
--- /dev/null
+++ b/repos/NullSet
@@ -0,0 +1 @@
+Subproject commit 3637d33896d66c4aa0abb0e0e7e3e42f1fd3acb9