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 /lib/Util.hs | |
| parent | 7ad5e1cd504b1d57ff3660f9eb81d2e7072ea4bf (diff) | |
handle all maps in entire repositories
(+ checking that paths don't run outside of respositories)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions