Stephen Boddy e2f7f429ac * Merge feature branch for tab/terminal title editing from Haim Daniel ... * Tweak the shortcuts * Update the HTML manual * Add a missing image		2015-11-07 03:31:41 +01:00
..
html	* Merge feature branch for tab/terminal title editing from Haim Daniel	2015-11-07 03:31:41 +01:00