David Valentine commited on 2024-12-06 22:27:45 Showing 2 changed files, with 4 additions and 0 deletions.
@@ -0,0 +1,3 @@
+[submodule "src/proposition"]
+ path = src/proposition
+ url = /home/david/u/edr/redac/proposition/
@@ -0,0 +1 @@
+Subproject commit d7dc4ec4e46aec86737daa3f5594e9d44a34bc4c