4 commits

Author	SHA1	Message	Date
scrawl	67bd6cd708	Remove empty line at the beginning of files ... git ls-files -z | xargs -0 sed -i '1{/^$/d}'	2015-08-18 23:06:12 +02:00
Marc Zinnschlag	f468c53281	renamed the script field in DebugProfile to improve consistency	2014-08-22 13:38:03 +02:00
Marc Zinnschlag	3486da0fb0	consolidated the debug profile flags into a single and added a global flag	2014-08-15 12:27:08 +02:00
Marc Zinnschlag	30f114873d	added debug profile record	2014-08-03 10:12:03 +02:00