Matthias Schiffer 58ced87261 Use nicer platform match 10 anni fa
..
etc f73d727ae6 Remove all remaining uses of sysconfig.sh 10 anni fa
lib 58ced87261 Use nicer platform match 10 anni fa