2 commits

Author	SHA1	Message	Date
Jörn-Michael Miehe	6d041e6918	amendments after integration test #2	2023-11-15 16:17:32 +01:00
Jörn-Michael Miehe	eea1e7880a	rename "install" -> "deploy"	2023-11-15 15:21:46 +01:00

Renamed from install/install.sh (Browse further)