terminal: remove gl.h include
authorDavid Herrmann <dh.herrmann@googlemail.com>
Wed, 8 Aug 2012 09:28:23 +0000 (11:28 +0200)
committerDavid Herrmann <dh.herrmann@googlemail.com>
Wed, 8 Aug 2012 09:28:23 +0000 (11:28 +0200)
commitbeb36e962db9fb1f6d257c068e142dd3ea878036
tree582eb979e849aa8ae98aa7ffc58e7fc086b0e309
parentf1f8fac0ecf44a01e34c19a6e96d79f9920fa7d7
terminal: remove gl.h include

We do not use this header inside of the terminal subsystem so we can
remove it.

Signed-off-by: David Herrmann <dh.herrmann@googlemail.com>
src/terminal.h