diff --git a/gitmodules b/gitmodules index b694432f226cde4152c7464c67c460ef071103de..96987540fec3c6d0af9fea76464011a4f8f2c4f4 100644 --- a/gitmodules +++ b/gitmodules @@ -1,6 +1,3 @@ -[submodule "project_ws/src/catkin_simple"] - path = project_ws/src/catkin_simple - url = git@github.com:catkin/catkin_simple.git [submodule "project_ws/src/gflags_catkin"] path = project_ws/src/gflags_catkin url = git@github.com:ethz-asl/gflags_catkin.git