diff options
author | Christoph Brill <egore911@gmail.com> | 2017-08-28 21:27:52 +0200 |
---|---|---|
committer | Christoph Brill <egore911@gmail.com> | 2017-08-28 21:27:52 +0200 |
commit | 1f80dcfc89cceb2f8a965adb026067d453aa13f1 (patch) | |
tree | a12dce44931db45214c35e0209cef7c170d8c43d | |
parent | d03339897ef70346d29377951c105ff2ad24d6d1 (diff) |
Add channel 'intel-3d'
-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']; |