diff options
| author | Markus Heiser <markus.heiser@darmarIT.de> | 2019-12-23 12:31:31 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-23 12:31:31 +0000 |
| commit | 3e14bf4d2786ce5f2a61684cf16744700e670e60 (patch) | |
| tree | 3f8262ed3e73fca45f86e9c93c924e442d2094be /utils/makefile.sphinx | |
| parent | 34ad3d6b34017523a9502f86b92c17fe389918eb (diff) | |
| parent | 495ae59b31b6aafae484ecdfb6aece3a84f1ede7 (diff) | |
Merge pull request #1686 from MarcAbonce/wiki_infobox_fixes
Infobox fixes
Diffstat (limited to 'utils/makefile.sphinx')
0 files changed, 0 insertions, 0 deletions