Bauke 4aef9cae6e Fix the clone and install script.		2020-11-20 15:01:33 +01:00
..
clone-and-install.sh	Fix the clone and install script.	2020-11-20 15:01:33 +01:00