install/lib/install.lib.php @@ -36,7 +36,7 @@ function get_distname() { $distname = 'debian40'; $distname = $conf['distname']; return $distname; } @@ -378,4 +378,4 @@ ?> ?>