DocC documentation content fixes. #6

Merged
javier merged 3 commits from documentation/fixes into main 2025-09-09 18:58:19 +00:00
Owner

This PR contains the work done to:

  • Fix some documentation issues encountered in the README file;
  • Fix some documentation issues encountered in the Library article of the DocC documentation catalog;
  • Update the DocC documentation of the library for GitHub Pages.
This PR contains the work done to: * Fix some documentation issues encountered in the `README` file; * Fix some documentation issues encountered in the `Library` article of the DocC documentation catalog; * Update the DocC documentation of the library for GitHub Pages.
javier added the Kind/BugKind/Documentation
Priority
High
labels 2025-09-09 18:58:13 +00:00
javier self-assigned this 2025-09-09 18:58:13 +00:00
javier added 3 commits 2025-09-09 18:58:13 +00:00
javier merged commit b39fd8533b into main 2025-09-09 18:58:19 +00:00
javier deleted branch documentation/fixes 2025-09-09 18:58:19 +00:00
Sign in to join this conversation.