diff options
author | Marcin Junczys-Dowmunt <junczys@amu.edu.pl> | 2017-03-23 23:11:48 +0300 |
---|---|---|
committer | Marcin Junczys-Dowmunt <junczys@amu.edu.pl> | 2017-03-23 23:11:48 +0300 |
commit | fcff1d56f208234677c2e48523b9a89b685f4afc (patch) | |
tree | 95619a8d3d0958bb4096bcd2b5aaadc30a84339a | |
parent | e846aa272a371780a6c1d2930cdac29f8cb13c7d (diff) |
choose branch
m--------- | src/marian | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/marian b/src/marian -Subproject 1255b64c64d4774860accbf1cefa87d3c126fd8 +Subproject ba91eda85d33a60f8bb01c964afcbb45a46b3b8 |