diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/.gitmodules b/.gitmodules deleted file mode 100644 index e562655d..00000000 --- a/.gitmodules +++ /dev/null @@ -1,12 +0,0 @@ -[submodule "opendc-web-server"] - path = opendc-web-server - url = https://github.com/atlarge-research/opendc-web-server.git - branch = master -[submodule "opendc-frontend"] - path = opendc-frontend - url = https://github.com/atlarge-research/opendc-frontend.git - branch = master -[submodule "opendc-simulator"] - path = opendc-simulator - url = https://github.com/atlarge-research/opendc-simulator.git - branch = master |