Some fixes to the latest updates #18

Merged
javier merged 4 commits from library/update-fixes into main 2025-10-07 22:32:55 +00:00
Owner

This PR contains the work done to:

  • update the header files of all the existing source files in the project with the Apache License;
  • update the main article of the DocC documentation catalog;
  • update the README file;
  • regenerate the Github Pages documentation from the DocC documentation catalog.
This PR contains the work done to: * update the header files of all the existing source files in the project with the Apache License; * update the main article of the `DocC` documentation catalog; * update the `README` file; * regenerate the Github Pages documentation from the `DocC` documentation catalog.
javier added the Kind/Bug
Priority
Critical
labels 2025-10-07 22:32:49 +00:00
javier self-assigned this 2025-10-07 22:32:49 +00:00
javier added 4 commits 2025-10-07 22:32:49 +00:00
javier merged commit 34627840db into main 2025-10-07 22:32:55 +00:00
javier deleted branch library/update-fixes 2025-10-07 22:32:55 +00:00
Sign in to join this conversation.