diff options
| author | Rodrigo <rodarima@gmail.com> | 2019-07-29 01:08:01 +0200 |
|---|---|---|
| committer | Rodrigo <rodarima@gmail.com> | 2019-07-29 01:08:01 +0200 |
| commit | b2d0c1f22a71dd540497b7eb38fbb2dea95b6c05 (patch) | |
| tree | c9861a9bf888706924df81f4bbf10a413a58f900 /src/tipwin.hh | |
| parent | c9b817f5bb8ef2060aa36ebb5b089cf249c5170b (diff) | |
Recognize Doxygen pages as html
Doxygen introduces a extra header line with a comment
which is now captured.
Diffstat (limited to 'src/tipwin.hh')
0 files changed, 0 insertions, 0 deletions