Closed eggerk closed 6 years ago
Closed repos right now (need name/password) (won't merge until everything here is public):
Submodules of submodules that are set to SSH:
test this please
merging this without review to allow cloning over HTTPS
@mfehr @dymczykm @schneith
Closed repos right now (need name/password) (won't merge until everything here is public):
gurobi_catkin--> will be removedSubmodules of submodules that are set to SSH: