23 жил өмнө · 4459f5f5b9
--- a/.gitmodules
+++ b/.gitmodules
@@ -182,6 +182,10 @@
 
				 	path = libs/numeric/interval
			
 
				 	url = ../interval.git
			
 
				 	fetchRecurseSubmodules = on-demand
			
 
				+[submodule "optional"]
			
 
				+	path = libs/optional
			
 
				+	url = ../optional.git
			
 
				+	fetchRecurseSubmodules = on-demand
			
 
				 [submodule "inspect"]
			
 
				 	path = tools/inspect
			
 
				 	url = ../inspect.git
			
--- a/libs/optional
+++ b/libs/optional
@@ -0,0 +1 @@
 
				+Subproject commit 6277c98514c9670775b559c8d0e72bafebf66fc8
		`@@ -0,0 +1 @@`
		`+Subproject commit 6277c98514c9670775b559c8d0e72bafebf66fc8`