3 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
Scott Howard	e2ef8c4022	fix -Wnewline-eof warnings	2015-03-11 10:54:45 -04:00
Marc Zinnschlag	828536e999	generalised the concept of record scope	2014-08-06 09:53:10 +02:00