Add: [Doxygen] Add the current version of documentation in header (#7940)
While at it, renamed the project names to reflect how we currently refer to them.pull/132/head
parent
8fe38afd2b
commit
3b177af826
Loading…
Reference in New Issue