diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2022-09-24 08:23:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-09-24 08:23:49 +0200 |
| commit | bafebe91ac9812c4ac243b0717f411b1ed0a66a9 (patch) | |
| tree | 18fb8c32079f78658bb16e54d7cd5e4687ceddfe /docs/dev/makefile.rst | |
| parent | fc389f009d6da7f9d897c0b1ff50ef906866046f (diff) | |
| parent | caebafdd0600a363a898e018dc24d671b4729880 (diff) | |
Merge pull request #1802 from return42/disable-crossref
[fix] typo in crossref settings: disable --> disabled
Diffstat (limited to 'docs/dev/makefile.rst')
0 files changed, 0 insertions, 0 deletions