diff options
Diffstat (limited to 'Build/source/texk/gregorio/gregorio-src/.gregorio-version')
-rw-r--r-- | Build/source/texk/gregorio/gregorio-src/.gregorio-version | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/gregorio/gregorio-src/.gregorio-version b/Build/source/texk/gregorio/gregorio-src/.gregorio-version index f121aa4e0af..b8c2ad70162 100644 --- a/Build/source/texk/gregorio/gregorio-src/.gregorio-version +++ b/Build/source/texk/gregorio/gregorio-src/.gregorio-version @@ -1,4 +1,4 @@ -4.1.1 +4.1.4 *** Do not modify this file. *** Use VersionManager.py to change the version. |