Update vignette
authorBenjamin Auder <benjamin.auder@somewhere>
Fri, 16 Nov 2018 16:40:46 +0000 (17:40 +0100)
committerBenjamin Auder <benjamin.auder@somewhere>
Fri, 16 Nov 2018 16:40:46 +0000 (17:40 +0100)

No differences found