Repository navigation

Use default font - #1865

Merged

engelke merged 3 commits into

engelke-patch-3

Nov 27, 2018

Merged

Use default font#1865
engelke merged 3 commits into
masterfrom
engelke-patch-3

Commits on Nov 21, 2018
- Use default font
  engelke
  authored
  f60a164
- Merge branch 'master' into engelke-patch-3
  engelke
  authored
  e67632f
Commits on Nov 27, 2018
- Merge branch 'master' into engelke-patch-3
  engelke
  authored
  f39c223