diff options
| author | JozanLeClerc <bousset.rudy@gmail.com> | 2022-04-01 09:03:46 +0200 |
|---|---|---|
| committer | JozanLeClerc <bousset.rudy@gmail.com> | 2022-04-01 09:03:46 +0200 |
| commit | dd02b115e862c5df95311fd84184856094a87325 (patch) | |
| tree | 6aa013ca1227d39c9cc821210cb8660dd35f5f44 | |
| parent | Skipping cub3d for it is too heavy and not getting any updates (diff) | |
| download | joe-scripts-dd02b115e862c5df95311fd84184856094a87325.tar.gz joe-scripts-dd02b115e862c5df95311fd84184856094a87325.tar.bz2 joe-scripts-dd02b115e862c5df95311fd84184856094a87325.tar.xz joe-scripts-dd02b115e862c5df95311fd84184856094a87325.tar.zst joe-scripts-dd02b115e862c5df95311fd84184856094a87325.zip | |
cube now public
| -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; |