Closed marnovandermaas closed 3 months ago
This adds the GitHub link to the top bar as well as a link to edit a specific page for if people want to contribute their changes.
This adds the GitHub link to the top bar as well as a link to edit a specific page for if people want to contribute their changes.