diff options
| author | Dimitri van Heesch <dimitri@stack.nl> | 2017-08-21 09:32:12 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-21 09:32:12 (GMT) |
| commit | 3ae2ec6fb1fb372c8acd802cc528f27800a309e3 (patch) | |
| tree | d4b15a1a7c587fd07a37bebc02814984992511fc /src/pagedef.h | |
| parent | f8cb29c0509d7f03c635dce394aec95ca06a37b6 (diff) | |
| parent | 9d0908359363dbb43236767669c214721700acf7 (diff) | |
| download | Doxygen-3ae2ec6fb1fb372c8acd802cc528f27800a309e3.zip Doxygen-3ae2ec6fb1fb372c8acd802cc528f27800a309e3.tar.gz Doxygen-3ae2ec6fb1fb372c8acd802cc528f27800a309e3.tar.bz2 | |
Merge pull request #582 from artur-kink/master
Fixup man page NAME section when page has title
Diffstat (limited to 'src/pagedef.h')
0 files changed, 0 insertions, 0 deletions