diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-05-03 21:22:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-05-03 21:22:57 +0200 |
| commit | f47c285f678345f5fde6937deb8bd740589beb83 (patch) | |
| tree | 3c49db135e82d92ceb13b01e839a69f4d8956773 /doc/classes | |
| parent | a8f45efa435b09c83c48d2671607cc302d9f51f9 (diff) | |
| parent | afb65ebc2c9ef7ca714fab2f811db1ede95ce399 (diff) | |
Merge pull request #48410 from akien-mga/ci-doctool-check
CI: Add `--doctool` check to find missing classref updates
Diffstat (limited to 'doc/classes')
0 files changed, 0 insertions, 0 deletions