diff options
author | Marc Glisse <marc.glisse@inria.fr> | 2019-12-25 22:18:20 +0100 |
---|---|---|
committer | Marc Glisse <marc.glisse@inria.fr> | 2019-12-25 22:18:20 +0100 |
commit | 8c30016a3c56522014254dc571ed4fe81f31e02b (patch) | |
tree | 537024b335daa78204c90a8e05078610a7730935 /.gitmodules | |
parent | da96206b1fa6fe536d77e9b5906f10d26a37b243 (diff) |
Add Hera as a submodule
Diffstat (limited to '.gitmodules')
-rw-r--r-- | .gitmodules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 00000000..6e8b3ab1 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "ext/hera"] + path = ext/hera + url = https://bitbucket.org/grey_narn/hera.git |