Dag-Erling Smørgrav b915055c2b Remove obsolete setprops script.		2021-10-20 13:06:24 +02:00
..
.gitignore	Centralize most of .gitignore.	2016-09-17 21:38:54 +02:00
coverage.sh.in	Modify the coverage build script so that it only runs "make clean" if	2015-10-03 14:30:24 +00:00