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	Only include themes conditionnally, in case one symlinks from the osdrawer svn working copy.	2010-08-12 23:26:48 +00:00