save changes made for 0.20.13
authorDenis Ovsienko <denis@ovsienko.info>
Mon, 15 May 2017 12:53:46 +0000 (13:53 +0100)
committerDenis Ovsienko <denis@ovsienko.info>
Mon, 15 May 2017 12:53:46 +0000 (13:53 +0100)
header.php

index a39ec8e..e57f45f 100644 (file)
@@ -1,6 +1,6 @@
 <?php
-$lastrelease = '0.20.12';
-$demorelease = '0.20.12';
+$lastrelease = '0.20.13';
+$demorelease = '0.20.13';
 if (!isset($bodyId))
        $bodyId = 'IndexPage';
 ?><!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">