- Mar 01, 2021
-
-
André Anjos authored
-
- Jan 24, 2021
-
-
André Anjos authored
-
André Anjos authored
-
- Jan 22, 2021
-
-
André Anjos authored
-
André Anjos authored
-
- Jan 19, 2021
-
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
- Jan 18, 2021
-
-
André Anjos authored
-
- Jan 05, 2021
-
-
André Anjos 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
-
- Nov 10, 2020
-
-
Amir MOHAMMADI authored
-
- Nov 09, 2020
-
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
- Oct 21, 2020
-
-
André Anjos authored
-
- Jul 22, 2020
-
-
Amir MOHAMMADI authored
-
- Jul 21, 2020
-
-
André Anjos authored
-
- Jun 16, 2020
-
-
Amir MOHAMMADI authored
-
- Jun 04, 2020
-
-
André Anjos authored
-
- Apr 07, 2020
-
-
André Anjos authored
-
- Feb 18, 2020
-
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
- Dec 10, 2019
-
-
Zohreh MOSTAANI authored
-
- Nov 15, 2019
-
-
André Anjos authored
-
- Nov 12, 2019
-
-
Zohreh MOSTAANI authored
-
- Nov 11, 2019
-
-
Zohreh MOSTAANI authored
-
- Oct 28, 2019
-
-
-
-
André Anjos authored
-
-
-
-
-
-
-
[docs] more modification to include all the information about building new packages but not very beautiful yet
-
-
-
- Oct 27, 2019
-
-
André Anjos authored
-