Ohio2 e0b1b8a8b6 use curl -# instead of wget since wget shows ugly things		2021-07-16 22:19:27 +02:00
..
build	use curl -# instead of wget since wget shows ugly things	2021-07-16 22:19:27 +02:00
package	Fix too long of compile times????	2021-07-08 17:28:30 +02:00