save the change made for 0.20.14
authorDenis Ovsienko <denis@ovsienko.info>
Sun, 1 Oct 2017 12:41:51 +0000 (13:41 +0100)
committerDenis Ovsienko <denis@ovsienko.info>
Sun, 1 Oct 2017 12:41:51 +0000 (13:41 +0100)
header.php

index e57f45f..81dfe3c 100644 (file)
@@ -1,5 +1,5 @@
 <?php
-$lastrelease = '0.20.13';
+$lastrelease = '0.20.14';
 $demorelease = '0.20.13';
 if (!isset($bodyId))
        $bodyId = 'IndexPage';