]> git.donarmstrong.com Git - lilypond.git/blobdiff - VERSION
Add index entry for gutter.
[lilypond.git] / VERSION
diff --git a/VERSION b/VERSION
index 7d297a78a3fe678b584a1d5946ba567667e6b54f..c609fdbb9398f488410a071749b0d606ea7dd66a 100644 (file)
--- a/VERSION
+++ b/VERSION
@@ -1,7 +1,7 @@
 PACKAGE_NAME=LilyPond
 MAJOR_VERSION=2
 MINOR_VERSION=13
-PATCH_LEVEL=18
+PATCH_LEVEL=20
 MY_PATCH_LEVEL=
 VERSION_STABLE=2.12.3
-VERSION_DEVEL=2.13.17
+VERSION_DEVEL=2.13.19