diff options
Diffstat (limited to 'versions.properties')
| -rw-r--r-- | versions.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/versions.properties b/versions.properties index a6e15c9bfe..45dada9778 100644 --- a/versions.properties +++ b/versions.properties @@ -36,7 +36,7 @@ jline.version=2.12.1 scala-asm.version=5.0.4-scala-3 # external modules, used internally (not shipped) -partest.version.number=1.0.12 +partest.version.number=1.0.13 scalacheck.version.number=1.11.6 # TODO: modularize the compiler |