|
slurm
|
slurm: use getDev
|
2023-12-24 18:08:30 +01:00 |
|
slurm-spank-stunnel
|
slurm-spank-stunnel: use getDev
|
2023-12-24 15:17:33 +01:00 |
|
slurm-spank-x11
|
slurm-spank-x11: use getDev
|
2023-12-24 15:17:33 +01:00 |
|
storm
|
treewide: use optionalString
|
2023-02-13 21:52:34 +01:00 |
