Skip to content
Snippets Groups Projects
Commit 34d8e87d authored by Emmanuel Bourg's avatar Emmanuel Bourg
Browse files

Don't use the javadoc --ignore-source-errors option when using a custom doclet (Closes: #893547)

parent f3157f0f
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment