projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb0e858) | patch
Do not try to process deleted headers with Doxygen
authorJonathan Wakely <jwakely@redhat.com>
Tue, 20 Aug 2019 21:35:55 +0000 (22:35 +0100)
committerJonathan Wakely <redi@gcc.gnu.org>
Tue, 20 Aug 2019 21:35:55 +0000 (22:35 +0100)
commit9e3c41ab04584009983b80d9c84190453df9c882
tree61c3323d611b3fd149b4dfbf59475af8cac24c22tree
parenteb0e8589451aa13b14e0af0f66ba2cabe7698012commit | diff
Do not try to process deleted headers with Doxygen

* doc/doxygen/user.cfg.in (INPUT): Remove profile mode headers.

From-SVN: r274758
libstdc++-v3/ChangeLog diff | blob | history
libstdc++-v3/doc/doxygen/user.cfg.in diff | blob | history