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	** lots of small package cleanups and fixes	2021-07-14 16:37:03 +03:00