Commit Graph
4 Commits
Author SHA1 Message Date
Rémi Verschelde e4237e2948 Misc fixes to recent merges 2020-04-27 09:58:08 +02:00
Owen Merkling c2aeabbd49 Point getting sources to pull request workflow
Potential contributors can land on the building instructions before the PR instructions.
2020-04-22 15:13:35 -06:00
Yuri Sizov 4acf7a6563 Fix syntax highlighting for various languages (#3387) 2020-04-15 16:33:20 +02:00
mhilbrunner 453238e0e5 Add docs for getting the source code from GitHub 2018-03-02 13:12:38 +01:00