Jörg Thalheim c44338ec84 merge-after-ci: just inline script

2023-08-22 13:20:16 +02:00

..

default.nix

merge-after-ci: just inline script

2023-08-22 13:20:16 +02:00