|
common
|
Parametrize the username a bit more
|
2024-05-21 01:37:39 +02:00 |
|
euporie
|
Reorganize devshells
|
2023-12-10 23:48:46 +01:00 |
|
lapetus
|
Properly add things to path for jupyter
|
2024-05-22 14:44:37 +02:00 |
|
tethys
|
Parametrize the username a bit more
|
2024-05-21 01:37:39 +02:00 |
