diff options
author | Remi Collet <fedora@famillecollet.com> | 2014-01-16 11:07:52 +0100 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2014-01-16 11:07:52 +0100 |
commit | 7e3cdc92b0a674ef1abf2ec89a9ab3f80ad27596 (patch) | |
tree | ee34085c7c4664b475ecb2851e01def806187122 /all.php | |
parent | 58d63c129b16c4f4f461755efde0ec7e86f8077d (diff) |
manage "beta" repo + save a few space
Diffstat (limited to 'all.php')
-rw-r--r-- | all.php | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -128,6 +128,7 @@ function report ($db) : ""); if (strpos($repo['sub'], '-os') + || strpos($repo['sub'], '-beta') || strpos($repo['sub'], '-base') || strpos($repo['sub'], '-optional') || strpos($repo['sub'], '-stable') |