diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2019-08-20 22:35:55 +0100 |
|---|---|---|
| committer | Jonathan Wakely <redi@gcc.gnu.org> | 2019-08-20 22:35:55 +0100 |
| commit | 9e3c41ab04584009983b80d9c84190453df9c882 (patch) | |
| tree | 61c3323d611b3fd149b4dfbf59475af8cac24c22 /gcc/ada/sem_spark.adb | |
| parent | eb0e8589451aa13b14e0af0f66ba2cabe7698012 (diff) | |
| download | gcc-9e3c41ab04584009983b80d9c84190453df9c882.zip gcc-9e3c41ab04584009983b80d9c84190453df9c882.tar.gz gcc-9e3c41ab04584009983b80d9c84190453df9c882.tar.bz2 | |
Do not try to process deleted headers with Doxygen
* doc/doxygen/user.cfg.in (INPUT): Remove profile mode headers.
From-SVN: r274758
Diffstat (limited to 'gcc/ada/sem_spark.adb')
0 files changed, 0 insertions, 0 deletions