Jörn-Michael Miehe eea1e7880a rename "install" -> "deploy"		2023-11-15 15:21:46 +01:00
..
check_version	rename "install" -> "deploy"	2023-11-15 15:21:46 +01:00