Commit History

Author SHA1 Message Date
  DeeJayLSP a4dad5c446 Add information on cloning a Git branch/tag directly (#4800) 4 years ago
  Rémi Verschelde e4237e2948 Misc fixes to recent merges 5 years ago
  Owen Merkling c2aeabbd49 Point getting sources to pull request workflow 5 years ago
  Yuri Sizov 4acf7a6563 Fix syntax highlighting for various languages (#3387) 5 years ago
  mhilbrunner 453238e0e5 Add docs for getting the source code from GitHub 7 years ago