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