summaryrefslogtreecommitdiff
path: root/walint.cabal
diff options
context:
space:
mode:
authorstuebinm2021-09-23 03:01:09 +0200
committerstuebinm2021-09-23 03:01:09 +0200
commit7e77e6335bab772c4be1b3f0594113d09cd4a366 (patch)
treeaa2e45b84b4b3ec17d562fd80276a307e6e88267 /walint.cabal
parent7ad5e1cd504b1d57ff3660f9eb81d2e7072ea4bf (diff)
handle all maps in entire repositories
(+ checking that paths don't run outside of respositories)
Diffstat (limited to 'walint.cabal')
0 files changed, 0 insertions, 0 deletions