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 | |
| parent | da96206b1fa6fe536d77e9b5906f10d26a37b243 (diff) | |
Add Hera as a submodule
| -rw-r--r-- | .gitmodules | 3 | ||||
| m--------- | ext/hera | 0 |
2 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 diff --git a/ext/hera b/ext/hera new file mode 160000 +Subproject 5a59cfad45c155f8af89c2c6d82db2848d52a95 |