Remove dead highlight rule

Authored by mwolff on Dec 4 2017, 9:09 AM.

Description

Remove dead highlight rule

There is no keyword set named keywords here. This never worked,
and noone complained, so remove this.

Details

Committed
mwolffDec 4 2017, 9:09 AM
Parents
R216:e5f5db671968: Removed unused itemDatas
Branches
Unknown
Tags
Unknown

Almost: As so often, this commit is missing to increase the version number :-)

mwolff added a comment.Dec 4 2017, 9:46 PM

Almost: As so often, this commit is missing to increase the version number :-)

Manually increasing version numbers simply suck... Can't the update dialog check something else instead like the date of last modification? Sigh, I'll go and fix this up and bump the version number.