log terminal-title.py @ 1:98c1a683d9c1

age author description
Sat, 14 Mar 2015 16:09:47 +0100 Guido Berhoerster Update the terminal title when the configuration changes
Tue, 10 Mar 2015 22:40:28 +0100 Guido Berhoerster Initial revision