diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2022-05-12 11:18:18 +0200 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2022-05-14 13:40:56 +0200 |
commit | 4a96df96d958a8ce122f103c4b417eaba52e6cb1 (patch) | |
tree | 359449203e3ef67f3616f2ddcee80fcd09e2c62f /resources | |
parent | e8537e6dd0ae41427bd03d98477d4a6a1f71a2cc (diff) |
server: Always rebuild the files involved in an error
Fixes #9884
Diffstat (limited to 'resources')
0 files changed, 0 insertions, 0 deletions