diff options
author | stuebinm | 2021-09-23 03:01:09 +0200 |
---|---|---|
committer | stuebinm | 2021-09-23 03:01:09 +0200 |
commit | 7e77e6335bab772c4be1b3f0594113d09cd4a366 (patch) | |
tree | aa2e45b84b4b3ec17d562fd80276a307e6e88267 /walint.cabal | |
parent | 7ad5e1cd504b1d57ff3660f9eb81d2e7072ea4bf (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