rename documentation directory #233
Description
Actually named html as set in doxygen configuration file, rename it documentation.
Modify accordingly all doc text everywhere.
Metadata
Metadata
Assignees
Projects
Status
{{ message }}
Actually named html as set in doxygen configuration file, rename it documentation.
Modify accordingly all doc text everywhere.
Status