|
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
|
Make Javi normal (non admin) jupyter user
|
2024-05-21 02:54:57 +02:00 |
|
tethys
|
Parametrize the username a bit more
|
2024-05-21 01:37:39 +02:00 |
