2 Commits

Author	SHA1	Message	Date
Guillaume Munch	a8ad43d4fd	Check that we have bash before running updatelfuns.sh ... Also set executable bits on the devel scripts.	2016-01-11 16:26:13 +00:00
Georg Baum	f110ef2f41	Convert updatelayouts.sh to python ... This makes the script usable on windows and speeds it up by an order of magnitude, since no new process needs to be forked for each layout file. It also does not conevrt .old files again.	2014-11-16 12:43:52 +01:00