diff options
author | Roman Grundkiewicz <rgrundkiewicz@gmail.com> | 2022-09-02 11:28:41 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-09-02 11:28:41 +0300 |
commit | 31ac8e88760f48d31843eeed36136458df0f60aa (patch) | |
tree | 6d4e80639a46e92665aa2c88e3d3a1627cf2b3fd /src | |
parent | 5312a306c4c0a458e29a8882ebfb42a179aaf580 (diff) | |
parent | ee76b9e0d23d019ab2b228203e346447b2dcde15 (diff) |
Merge pull request #14 from marian-nmt/rename-version
Rename VERSION to VERSION.txt
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions