4 commits

Author	SHA1	Message	Date
Andrei Kortunov	8084a336b5	Replace zeroes and nulls by nullptrs	2020-11-29 11:14:07 +04:00
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	a728d6d77a	full implementation of global run menu item (replaces earlier placeholder implementation)	2014-09-04 17:45:43 +02:00