diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index 7eb86944..00000000 --- a/.gitmodules +++ /dev/null @@ -1,3 +0,0 @@ -[submodule "examples/NonArduino/Tock/libtock-c"] - path = examples/NonArduino/Tock/libtock-c - url = https://github.com/tock/libtock-c.git