herbie-fp
diff --git a/‎.gitmodules‎
Lines changed: 0 additions & 3 deletions b/‎.gitmodules‎
Lines changed: 0 additions & 3 deletions
diff --git a/‎src/egglog/egg-smol‎
Lines changed: 0 additions & 1 deletion b/‎src/egglog/egg-smol‎
Lines changed: 0 additions & 1 deletion
@@ -1,3 +0,0 @@
-[submodule "src/egglog/egg-smol"]
-	path = src/egglog/egg-smol
-	url = https://github.com/oflatt/egg-smol
Original file line number	Diff line number	Diff line change
`@@ -1,3 +0,0 @@`
`1`		`-[submodule "src/egglog/egg-smol"]`
`2`		`- path = src/egglog/egg-smol`
`3`		`- url = https://github.com/oflatt/egg-smol`