summaryrefslogtreecommitdiff
path: root/support/splint/VERSION
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/VERSION')
-rw-r--r--support/splint/VERSION2
1 files changed, 1 insertions, 1 deletions
diff --git a/support/splint/VERSION b/support/splint/VERSION
index 9084fa2f71..f0bb29e763 100644
--- a/support/splint/VERSION
+++ b/support/splint/VERSION
@@ -1 +1 @@
-1.1.0
+1.3.0