François Revol 70449c90d9 dev-perso: Add current branch name in window title for git ...

* when the project uses git, include the current branch name
in the terminal window title

2012-08-22 01:16:15 +02:00

..

onlinedemo

…

scripts

dev-perso: Add current branch name in window title for git

2012-08-22 01:16:15 +02:00

Jamfile

…