Merge branch 't42'
-rw-r--r-- 175 README
drwxr-xr-x - ppd
-rwxr-xr-x 1139 terminal-emulator.pl
-rwxr-xr-x 5327 terminal-server.pl