Javier Cicchelli 4a684439ca Moved the documentation generated for Github pages to the "/docs" folder, as required by Github.

2023-04-24 01:05:01 +02:00

..

index.html

Moved the documentation generated for Github pages to the "/docs" folder, as required by Github.

2023-04-24 01:05:01 +02:00