Matthias Schiffer 58ced87261 Use nicer platform match		2014-07-11 12:11:47 +02:00
..
files	Use nicer platform match	2014-07-11 12:11:47 +02:00
Makefile	Remove all remaining uses of sysconfig.sh	2014-07-10 23:44:06 +02:00