5 commits

Author	SHA1	Message	Date
Jörn-Michael Miehe	30566fe449	deploy scripts QoL changes	2023-11-16 15:32:02 +01:00
Jörn-Michael Miehe	6b1fda1ffe	amendments after final integration test	2023-11-16 14:55:32 +01:00
Jörn-Michael Miehe	525b711005	amendments after integration test #3	2023-11-15 23:39:18 +01:00
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)