Michael Friedrich 14ef7cbc1f Fix formatting in development docs
(cherry picked from commit 710e4fa55e919032bd3b45c774130e1f938d3f81)
2019-02-25 13:49:19 +01:00
..
2014-04-07 21:55:27 +02:00
2018-10-18 09:50:53 +02:00
2018-10-18 09:50:53 +02:00
2015-01-22 16:11:05 +01:00