diff options
author | Marcin Junczys-Dowmunt <junczys@amu.edu.pl> | 2017-03-23 23:11:13 +0300 |
---|---|---|
committer | Marcin Junczys-Dowmunt <junczys@amu.edu.pl> | 2017-03-23 23:11:13 +0300 |
commit | e846aa272a371780a6c1d2930cdac29f8cb13c7d (patch) | |
tree | 9c8830a724d22b75362ac7298e9e842ba1a48942 | |
parent | 427d750723d8261e5fde832eb1fca32185de3c10 (diff) |
movded module
-rw-r--r-- | .gitmodules | 2 | ||||
m--------- | src/marian | 7 |
2 files changed, 8 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index db2150a9..14074f8b 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,3 +1,3 @@ [submodule "src/marian"] path = src/marian - url = http://github.com/amunmt/marian + url = https://github.com/amunmt/marian diff --git a/src/marian b/src/marian new file mode 160000 +Subproject 1255b64c64d4774860accbf1cefa87d3c126fd8 |