*** empty log message ***

[splint.git] / src / lastversion

diff --git a/src/lastversion b/src/lastversion
index 0de423d15ce6218dd9e9a065dcce02f6f86f5ddc..5a776e2aa9a9578b6692a40a34bad8e63dfdfbc3 100644 (file)
--- a/src/lastversion
+++ b/src/lastversion
@@ -1 +1,2 @@
-3.0.0.13
+3.0.0.16
+