2 Commits

Author	SHA1	Message	Date
apio	4a212b4c92	Modify shebangs to use /usr/bin/env bash instead of /bin/sh	2022-10-08 15:35:39 +02:00
apio	aa5c1be945	Separate building a debug image and running it, and provide a script for GDB.	2022-10-08 15:32:48 +02:00