diff options
author | Marcin Junczys-Dowmunt <junczys@amu.edu.pl> | 2018-03-14 02:25:14 +0300 |
---|---|---|
committer | Marcin Junczys-Dowmunt <junczys@amu.edu.pl> | 2018-03-14 02:25:14 +0300 |
commit | b2ab6ef5c67f2d359d38067afa556d6c25940637 (patch) | |
tree | ba8497486304fa8205ac08b6caa1f0bddcb45d1d | |
parent | 8c119e7cc6f06a2f1332f08e94580fe1af705bd3 (diff) |
update to Marian v1.4.01.4.0
l---------[-rw-r--r--] | VERSION | 2 | ||||
m--------- | src/marian | 10 |
2 files changed, 6 insertions, 6 deletions
@@ -1 +1 @@ -v1.0.0 +src/marian/VERSION
\ No newline at end of file diff --git a/src/marian b/src/marian -Subproject 3deb9015a8729f4453f0f06b27385e764cce196 +Subproject aa51ccef144179dfb3c030924e6feb3620b6e51 |