diff options
author | Ricardo Constantino <wiiaboo@gmail.com> | 2017-07-19 19:03:08 +0100 |
---|---|---|
committer | Ricardo Constantino <wiiaboo@gmail.com> | 2017-07-19 19:03:08 +0100 |
commit | e0739378ddc15af9cdab94ddfb4035ba52756b7d (patch) | |
tree | 314e0000660818d136ed97695c37efaffb93a3d5 /sub | |
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 'sub')
0 files changed, 0 insertions, 0 deletions