Commits

David Mehringer authored 42b8ab54320
add casadocs to gitmodules
No tags

.gitmodules

Modified
1 1 [submodule "casatools/grpc-source"]
2 2 path = casatools/grpc-source
3 3 url = https://github.com/grpc/grpc
4 4 [submodule "casatools/casacore"]
5 5 path = casatools/casacore
6 - url = https://github.com/casacore/casacore.git
6 + url = https://github.com/casacore/casacore.git
7 +[submodule "casadocs"]
8 + path = casadocs
9 + url = https://github.com/casangi/casadocs.git
10 +

Everything looks good. We'll let you know here if there's anything you should know about.

Add shortcut