[Improvement] Github Pages documentation #24

Merged
javier merged 1 commits from improvement/github-pages into main 2023-08-13 22:30:57 +00:00
Owner

This PR contains the work done to fix the Github Pages generated documentation, as the assigned base path and documentation URL were not properly defined.

This PR contains the work done to fix the Github Pages generated documentation, as the assigned base path and documentation URL were not properly defined.
javier added the
bug
label 2023-08-13 22:30:48 +00:00
javier self-assigned this 2023-08-13 22:30:48 +00:00
javier added 1 commit 2023-08-13 22:30:49 +00:00
javier merged commit 18d68635ce into main 2023-08-13 22:30:57 +00:00
javier deleted branch improvement/github-pages 2023-08-13 22:30:57 +00:00
Sign in to join this conversation.
No description provided.