v18.08.2
Christoph Feck
@cfeck
9b100d33
·
Save the state of the "show higlight" option between runs
·
Jan 16, 2018
Create tag for 18.08.2
