summaryrefslogtreecommitdiff
path: root/lib/CheckDir.hs
diff options
context:
space:
mode:
authorstuebinm2021-11-14 21:26:46 +0100
committerstuebinm2021-11-14 21:26:46 +0100
commit8fc10996e17ba164dc8e29d77efd03113a1f63f0 (patch)
tree7dc755cc80981388f82b96e11b0555177a26bde0 /lib/CheckDir.hs
parentbb5277dc5b492e0e27777f7eb42c54b45c66835a (diff)
config options: implement script-related options
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions