Manuel Thalmann bae857ff55 Add a separate script for installing Pipenv		2023-04-02 04:15:57 +02:00
..
install.sh	Add a separate script for installing Pipenv	2023-04-02 04:15:57 +02:00