- Mar 25, 2022
-
-
André Anjos authored
-
- Mar 03, 2022
-
-
Amir MOHAMMADI authored
Fixes #86
-
- Oct 04, 2021
-
-
Amir MOHAMMADI authored
-
- Nov 16, 2020
-
-
André Anjos authored
[scripts/create] Implement --pip-extras option to allow the user to install extra pip-installable packages on every created environment
-
- Oct 28, 2019
-
-
André Anjos authored
-
- Oct 16, 2019
-
-
André Anjos authored
-
- Feb 12, 2019
-
-
André Anjos authored
-
- Jan 15, 2019
-
-
André Anjos authored
-
- Jan 14, 2019
-
-
André Anjos authored
-