add linter submodule

tsijs · Jul 18, 2017 · 53b3d8b · 53b3d8b
1 parent c48854c
commit 53b3d8b
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "pybind11"]
 	path = pybind11
 	url = https://github.com/pybind/pybind11.git
+[submodule "tools/linter"]
+	path = tools/linter
+	url = [email protected]:ethz-asl/linter.git
diff --git a/tools/linter b/tools/linter