deleting turtle_lib submodule

2023-01-25 12:05:32 +01:00
parent 15310f5184
commit eef4591815
2 changed files with 0 additions and 4 deletions
@@ -1,3 +0,0 @@
 [submodule "turtle-lib"]
 	path = turtle-lib
 	url = https://git.teilgedanken.de/dietrich/turtle-lib.git