Cosmetics.
authorFrancois Fleuret <francois@fleuret.org>
Fri, 8 Nov 2013 07:11:15 +0000 (08:11 +0100)
committerFrancois Fleuret <francois@fleuret.org>
Fri, 8 Nov 2013 07:11:15 +0000 (08:11 +0100)
commit58fdc087a5fcd4fb4cd6797e7dda5cfd978983a3
treef1a0de0ba80024c2c001e256b2fd6683218e6b3f
parentd010af75293885a1787ac459081df82f7bcc977b
Cosmetics.
kill-unused-xterms.sh