diff options
-rw-r--r-- | Build/source/texk/README | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/README b/Build/source/texk/README index d0142f070ad..9a50f4426e4 100644 --- a/Build/source/texk/README +++ b/Build/source/texk/README @@ -61,7 +61,7 @@ dvipsk - maintained here, by us dvisvgm 1.16 - checked 04jul16 http://dvisvgm.bplaced.net/Downloads -gregorio 4.1.4 - checked 07jun16 +gregorio 4.2.0 - checked 25sep16 https://github.com/gregorio-project/gregorio/releases/ gsftopk - from Paul Vojta's xdvi? |