Skip to content
[Jenkins]Jenkins
log in
Success

#428 (Jul 9, 2018, 12:37:53 PM)

Started 6 yr 5 mo ago
Took 46 min on Rechenknecht
Changes
  1. equalize line spacing. fixes #30 (commit: 34e5ea4) (details)
  2. fix vertical spacing of empty lines. fixes #31 (commit: 7644b1f) (details)