diff --git a/VERSION b/VERSION deleted file mode 100644 index 0ec25f750..000000000 --- a/VERSION +++ /dev/null @@ -1 +0,0 @@ -v1.0.0 diff --git a/VERSION b/VERSION new file mode 120000 index 000000000..e28940af3 --- /dev/null +++ b/VERSION @@ -0,0 +1 @@ +src/marian/VERSION \ No newline at end of file diff --git a/src/marian b/src/marian index 3deb9015a..aa51ccef1 160000 --- a/src/marian +++ b/src/marian @@ -1 +1 @@ -Subproject commit 3deb9015a8729f4453f0f06b27385e764cce1965 +Subproject commit aa51ccef144179dfb3c030924e6feb3620b6e51f