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/Types.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/Types.hs')
0 files changed, 0 insertions, 0 deletions