rename documentation directory #233

Closed

Assignees

Labels

documentationenhancement

opened

on Jul 27, 2025

Actually named html as set in doxygen configuration file, rename it documentation.
Modify accordingly all doc text everywhere.

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

schmouk

Labels

documentationenhancement

Projects

cpp-strings
Status
Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests