diff options
| author | Oleg Morozenkov <m@oleg.rocks> | 2019-12-21 16:18:15 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-21 16:18:15 +0300 |
| commit | 2e4544a1f9aab5994ca81a6d95bd9fe3436d7a31 (patch) | |
| tree | 45134bd224c19332c805e339131ffa4c26b69d0d /include | |
| parent | 2079470ab2754450566250814b793042d3bbdf6c (diff) | |
| parent | 63e49e5a0443d7903d195bfe9c04a80ef86687bb (diff) | |
Merge pull request #121 from pan93412/patch-1
doxyfile: fix(typo): some 'option's shouldn't be 'options'
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions