diff options
Diffstat (limited to 'changes/ticket32385')
| -rw-r--r-- | changes/ticket32385 | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/changes/ticket32385 b/changes/ticket32385 deleted file mode 100644 index 2ff76be267..0000000000 --- a/changes/ticket32385 +++ /dev/null @@ -1,6 +0,0 @@ - o Minor features (doxygen): - - Our "make doxygen" target now respects --enable-fatal-warnings by - default, and does not warn about items that are missing documentation. - To warn about missing documentation, run configure with the - "--enable-missing-doc-warnings" flag: doing so suspends fatal warnings - for doxygen. Closes ticket 32385. |