diff options
author | 2017-07-19 19:03:08 +0100 | |
---|---|---|
committer | 2017-07-19 19:03:08 +0100 | |
commit | e0739378ddc15af9cdab94ddfb4035ba52756b7d (patch) | |
tree | 314e0000660818d136ed97695c37efaffb93a3d5 /TOOLS/uncrustify.cfg | |
parent | 9e124933e55f86992b1079aa6c1985bbe6721a28 (diff) |
travis: trigger website rebuild on VERSION changes too
Needed to update the stable manual if no DOCS were changed.
Diffstat (limited to 'TOOLS/uncrustify.cfg')
0 files changed, 0 insertions, 0 deletions