summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorDavid Herrmann <dh.herrmann@gmail.com>2013-10-23 15:11:21 +0200
committerDavid Herrmann <dh.herrmann@gmail.com>2013-10-23 15:11:21 +0200
commit695c855da33c3ef40bdd6e5bce7a6a78875a7af8 (patch)
tree04490fb6d01a6f941e61c234246da3ea2370175d /.gitignore
parentcdd87983a0b8e026917b167a601d594ded29427d (diff)
wlterm: remove
Remove all wlterm sources. I never intended to maintain it longer than any major terminal-emulator needs to get ported over to wayland. Hence, remove it. It was buggy, anyway. If anyone is interested, a GTK+ based wlterm is available on: http://cgit.freedesktop.org/~dvdhrm/wlterm Signed-off-by: David Herrmann <dh.herrmann@gmail.com>
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 98583ff..e258ddb 100644
--- a/.gitignore
+++ b/.gitignore
@@ -41,7 +41,6 @@ docs/reference/*.stamp
docs/reference/version.xml
docs/reference/*/
uvtd
-wlterm
docs/man/*.1
docs/man/*.3
docs/man/*.5