Felix Bühler 0a2745684e Merge pull request #239624 from Stunkymonkey/use-optionalString-then ...

treewide: use optionalString instead of 'then ""'

2023-07-22 13:02:47 +02:00

..

psc-package

rm Profpatsch from stuff without interest/capacity of maintaining

2023-07-07 12:53:42 +02:00

purescript

treewide: use optionalString instead of 'then ""'

2023-06-24 20:19:19 +02:00