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

Add a global setting for audio support. Add some support for logging though not used. Some other fixes.

2011-05-04 08:28:04 +00:00

scripts

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

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

Jamfile

…