diff options
Diffstat (limited to 'support/splint/VERSION')
-rw-r--r-- | support/splint/VERSION | 2 |
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 |