diff options
author | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-03-05 14:24:01 +0100 |
---|---|---|
committer | ROUVREAU Vincent <vincent.rouvreau@inria.fr> | 2020-03-05 14:24:01 +0100 |
commit | f78d65f0bd6aaf5f92639e2b809e1711acf929f7 (patch) | |
tree | 42272a2d27eea45735b806ce46e61c41b1f5ea9a /.gitmodules | |
parent | 73ad191a7dee054a58e9823c84dce9f1e71995f4 (diff) | |
parent | d2943b9e7311c8a3d8a4fb379c39b15497481b9c (diff) |
Merge branch 'master' into print_warnings_to_stderr
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 |