Karl Yngve Lervåg 2d816d7559 Remove unnecessary option (#457)

2016-05-31 18:19:01 +02:00

..

vimtex.txt

Remove unnecessary option (#457)

2016-05-31 18:19:01 +02:00