2013-03-10: integration branch inaugurated
2013-03-10: kreincke working branch inaugurated
Merge branch 'master' into integration
Merge branch 'integration' into kreincke
2013-03-10: working branch mjuliano inaugurated
added *.old to ignore list
2013.03.11: flag file repaired
2013-03-12: file syncs
Merge branch 'master' into kreincke
Merge branch 'master' into integration
2013-06-13
Merge branch 'kreincke' into integration

Conflicts:
	.gitignore
2013-06-13: refactorings