*** empty log message ***

[splint.git] / src / lastversion

diff --git a/src/lastversion b/src/lastversion
index 5b5157aefd76a72c9d0ce8e1a49c744dd1d86cd5..0de423d15ce6218dd9e9a065dcce02f6f86f5ddc 100644 (file)
--- a/src/lastversion
+++ b/src/lastversion
@@ -1 +1 @@
-3.0.0.12
+3.0.0.13