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	fixed versions	2021-07-07 21:51:11 +02:00