Closed ilario closed 4 years ago
Follows #94, #95, #96. Adds a "Edit this page" button to all the pages but the main page. To the documentation pages, also add a "Create new page" button and a "Add the new page to the pages list" button.
Follows #94, #95, #96. Adds a "Edit this page" button to all the pages but the main page. To the documentation pages, also add a "Create new page" button and a "Add the new page to the pages list" button.