|
|
cfde900c4e
|
feat (shells/java): add idea-oss
|
2026-01-11 14:32:49 +01:00 |
|
|
|
ab9cb6a9aa
|
feat (shells): haskell, java, switch to unstable
|
2026-01-03 14:05:43 +01:00 |
|
|
|
1a4cfd4e51
|
feat (shells): why3 development shell
|
2025-12-26 14:18:45 +01:00 |
|
|
|
6bb5b16bd9
|
feat (home/shell): update alias
|
2025-12-26 12:15:12 +01:00 |
|
