diff options
author | Graeme Nail <graemenail.work@gmail.com> | 2022-02-08 16:18:47 +0300 |
---|---|---|
committer | Graeme Nail <graemenail.work@gmail.com> | 2022-02-08 16:18:47 +0300 |
commit | b6915b66da2d06956a52886102d46d68864d03e2 (patch) | |
tree | 24c9d81b22dbc707a18a876b0f3cc29449538dc6 | |
parent | dc268a5cf87fc9f847f6f169f5ed3efa6d8e711e (diff) |
example-library should follow tip of remote branch
-rw-r--r-- | .gitmodules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules index 1eb43bf..3ddbd40 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,4 @@ [submodule "example-library"] path = example-library url = https://github.com/marian-nmt/marian-example-library + branch = main |