From 7e3cdc92b0a674ef1abf2ec89a9ab3f80ad27596 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 16 Jan 2014 11:07:52 +0100 Subject: manage "beta" repo + save a few space --- all.php | 1 + 1 file changed, 1 insertion(+) (limited to 'all.php') diff --git a/all.php b/all.php index 448751f..0e855d8 100644 --- a/all.php +++ b/all.php @@ -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') -- cgit