Merge pull request #325 from jfoug/master
authorJens Steube <jens.steube@gmail.com>
Fri, 6 May 2016 07:15:59 +0000 (09:15 +0200)
committerJens Steube <jens.steube@gmail.com>
Fri, 6 May 2016 07:15:59 +0000 (09:15 +0200)
dive.rule: duplicates found by running data have been removed.


Trivial merge