Severin Glöckner 717feb22ec Fix path documentation of deprecated option
This wasn't in a release before
[ci skip]
2018-12-12 22:27:49 +01:00
..
2018-11-02 23:56:22 +01:00