diff options
author | stuebinm | 2021-12-14 00:15:45 +0100 |
---|---|---|
committer | stuebinm | 2021-12-14 00:15:45 +0100 |
commit | 668daf92d3b1c32aaf2c64a8f8e162c485bd5efc (patch) | |
tree | 746f909b9d52e23af20ff1449c9c2424c6e05a89 /lib/Uris.hs | |
parent | 34488ce52bca4031a81c57b9b1ee79ce5c4858c6 (diff) |
downgrade disallowed path-related lint levels
(these were `error` before, which didn't really make sense, since
workadventure can deal with them, they're just not allowed at rc3)
Diffstat (limited to 'lib/Uris.hs')
0 files changed, 0 insertions, 0 deletions