Henrik Grimler 1a0d242729 z3: call python instead of sed'ing mk_make.py shebang		2020-10-17 23:27:50 +02:00
..
build.sh	z3: call python instead of sed'ing mk_make.py shebang	2020-10-17 23:27:50 +02:00