Remove duplicate submodule entry

shewitt-au · shewitt-au · commit 713fc917b9bb · 2025-08-17T03:13:31.000+10:00
diff --git a/.gitmodules b/.gitmodules
@@ -13,9 +13,6 @@
 	path = external/throwing_ptr
 	url = https://github.com/rockdreamer/throwing_ptr
 	ignore = dirty
-[submodule "lexertl17"]
-	path = external/lexertl17
-	url = https://github.com/BenHanson/lexertl17.git
 [submodule "external/lexertl17"]
 	path = external/lexertl17
 	url = https://github.com/BenHanson/lexertl17.git
