Christian Busch 9ddde607d0 Added an alias for changing terminal tab name and title.		2016-04-20 10:52:38 +02:00
..
lib	Added an alias for changing terminal tab name and title.	2016-04-20 10:52:38 +02:00