diff options
| author | Thomas Penteker <tek@serverop.de> | 2015-01-17 13:12:27 +0100 |
|---|---|---|
| committer | Thomas Penteker <tek@serverop.de> | 2015-01-17 13:12:27 +0100 |
| commit | da92d043d64996cccaba7d0329110950f54d013c (patch) | |
| tree | c60e6caa0a66ebdc13da7cf986b76a59c6a30a70 | |
| parent | 461a8cc769c55daf627e27218a94da73e05f9f3b (diff) | |
| download | webtools-da92d043d64996cccaba7d0329110950f54d013c.tar.gz webtools-da92d043d64996cccaba7d0329110950f54d013c.tar.xz | |
portdb: CRUX is at version 3.1
| -rwxr-xr-x | portdb/portdb/index.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/portdb/portdb/index.php b/portdb/portdb/index.php index 9448e84..01253ae 100755 --- a/portdb/portdb/index.php +++ b/portdb/portdb/index.php @@ -1,6 +1,6 @@ <?php -$version = "3.0"; +$version = "3.1"; require('DB.php'); |