diff options
-rwxr-xr-x | src/update/gitjoe.pl | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/update/gitjoe.pl b/src/update/gitjoe.pl index 8fd17b4..bb668b2 100755 --- a/src/update/gitjoe.pl +++ b/src/update/gitjoe.pl @@ -18,7 +18,6 @@ sub get_repos_index { my $i = 0; while (my $dir = readdir(DIR)) { next if ($dir =~ m/^\./); - next if ($dir =~ m/42-cub3d.git/); next if (!(-e $home_dir . $dir . '/git-daemon-export-ok')); $repos[$i] = $dir; $i += 1; |