diff options
author | David Herrmann <dh.herrmann@gmail.com> | 2013-10-23 15:11:21 +0200 |
---|---|---|
committer | David Herrmann <dh.herrmann@gmail.com> | 2013-10-23 15:11:21 +0200 |
commit | 695c855da33c3ef40bdd6e5bce7a6a78875a7af8 (patch) | |
tree | 04490fb6d01a6f941e61c234246da3ea2370175d /.gitignore | |
parent | cdd87983a0b8e026917b167a601d594ded29427d (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-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -41,7 +41,6 @@ docs/reference/*.stamp docs/reference/version.xml docs/reference/*/ uvtd -wlterm docs/man/*.1 docs/man/*.3 docs/man/*.5 |