|
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
|
Fix jupyter config syntax
|
2024-05-21 02:25:58 +02:00 |
|
tethys
|
Parametrize the username a bit more
|
2024-05-21 01:37:39 +02:00 |
