diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-05-06 19:32:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-06 19:32:09 +0200 |
| commit | bb73dafe377471abcd6661a54e8bf0a2091ac4f2 (patch) | |
| tree | 6002f26ee2850448c085a86e4da39a2f855b7b05 /doc | |
| parent | 6eee2f1df8d2771b28aec82f0b18eba57067c29c (diff) | |
| parent | 76bf7f169d5f1e18ffdf577f6fb7be1203d0bc55 (diff) | |
Merge pull request #58258 from Calinou/editor-doctool-auto-headless
Make `--doctool` imply `--headless` to speed up class reference generation
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions