diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-02-17 22:35:37 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2022-02-17 22:35:37 +0100 |
| commit | 76bf7f169d5f1e18ffdf577f6fb7be1203d0bc55 (patch) | |
| tree | 696f92fe9737930b0d174af92177ad683349e062 /doc/classes/Time.xml | |
| parent | 5b18a81be9736ad7f9824ea615dbe460a741b76c (diff) | |
Make `--doctool` imply `--headless` to speed up class reference generation
This also prevents spawning an unnecessary splash screen window
while the class reference is generated.
Diffstat (limited to 'doc/classes/Time.xml')
0 files changed, 0 insertions, 0 deletions