diff options
| -rw-r--r-- | common.inc.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common.inc.php b/common.inc.php index ba0c0ba..d45ea9b 100644 --- a/common.inc.php +++ b/common.inc.php @@ -34,7 +34,7 @@ date_default_timezone_set('US/Pacific'); define('LOG_DIR', './'); -$channels = array ('dri-devel', 'radeon', 'nouveau', 'wayland', 'd3d9', 'freedreno', 'lima', 'etnaviv', 'intel-gfx', 'freedesktop', 'openchrome'); +$channels = array ('dri-devel', 'radeon', 'nouveau', 'wayland', 'd3d9', 'freedreno', 'lima', 'etnaviv', 'intel-gfx', 'freedesktop', 'openchrome', 'intel-3d'); if (isset($_GET['channel'])) { $channel = $_GET['channel']; |