Jacob 93b5a57c35 Change the shell, for better compatibility.		2024-05-14 19:21:13 +02:00
..
docpp_make	Add Gentoo ebuild, along with code necessary to generate one. Also,	2024-05-14 15:39:50 +02:00
generate_manifest	Change the shell, for better compatibility.	2024-05-14 19:21:13 +02:00