Manuel Thalmann 8d0d6c67a0 Place built extension properly		2023-04-03 00:26:47 +02:00
..
Config	Place built extension properly	2023-04-03 00:26:47 +02:00
Scripts	Refactor the directory structure	2023-04-01 17:08:17 +02:00
Software	Add a separate script for installing Pipenv	2023-04-02 04:15:57 +02:00