Skip to content

Doc: create index page

Alberto Mardegan requested to merge doc-index into master

This will cause the generation of an index.html file.

Merge request reports