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	add flex, bison, m4	2021-07-13 21:38:00 +02:00