diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-12-04 09:05:16 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-04 09:05:16 +0100 |
| commit | f0ae0a9958689175b3e401a143ffb751ccbd63b4 (patch) | |
| tree | 29c489a5ce9a0fbb92f594009e2ac57ae5bc26d2 /editor | |
| parent | fec8c164a0fd68cd01e3c3433841e12fe0e8e13c (diff) | |
| parent | bc4dbcf79307b934d7f78f212e544cc3a3773fc7 (diff) | |
Merge pull request #34097 from Calinou/travis-doc-makerst
Travis CI: Run `makerst.py` to check for documentation errors
Diffstat (limited to 'editor')
0 files changed, 0 insertions, 0 deletions