Skip to content
Snippets Groups Projects
Commit 2b6ab6f6 authored by Giovanni Bussi's avatar Giovanni Bussi
Browse files

Special doxygen command for unmaintained branches 

pushdoc script uses it to know if branches are supported or not
parent f2274acc
No related branches found
No related tags found
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