chiark / gitweb /
Remove src/console
authorAndy Wingo <wingo@pobox.com>
Sun, 19 Apr 2015 11:28:46 +0000 (13:28 +0200)
committerAndy Wingo <wingo@pobox.com>
Sun, 19 Apr 2015 11:28:46 +0000 (13:28 +0200)
commit0b99fcebe4a5ccfa23c846ed02c75e9d13172e8b
tree5b065a602d0991602cf84cf9b73d2aee9ab0204f
parent2c559b9acfa3426cd5cddd787d27518dac1f0871
Remove src/console
src/console/Makefile [deleted symlink]
src/console/consoled-display.c [deleted file]
src/console/consoled-manager.c [deleted file]
src/console/consoled-session.c [deleted file]
src/console/consoled-terminal.c [deleted file]
src/console/consoled-workspace.c [deleted file]
src/console/consoled.c [deleted file]
src/console/consoled.h [deleted file]