Skip to content

Configuration

Jump to bottom
Josh edited this page Sep 11, 2022 · 3 revisions

GitHub

The default source for programs and libraries is our GitHub organisation. If you want to use your own instead, you can change the user name in the configuration.

Anything missing or unclear? Feel free to create an issue.

Clone this wiki locally