.
*/
require 'config.php';
require 'common.php';
$fp = fopen('repolist', 'r');
if ($fp)
{
while (($line = fgets($fp)) !== false)
{
$line = trim($line);
$line = preg_replace('/#.*/', '', $line);
$line = Sanatise($line);
if ($line != '')
{
$name = basename($line);
echo '';
}
}
fclose($fp);
}
?>