VaclavT 07a04493fa rename utils		2021-05-20 23:05:00 +02:00
..
local_install.sh	rename utils	2021-05-20 23:05:00 +02:00
remote_install.sh	rename utils	2021-05-20 23:05:00 +02:00