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') |
