Merge pull request #304 from jfoug/master
authorJens Steube <jens.steube@gmail.com>
Wed, 20 Apr 2016 11:29:03 +0000 (13:29 +0200)
committerJens Steube <jens.steube@gmail.com>
Wed, 20 Apr 2016 11:29:03 +0000 (13:29 +0200)
dive.rule: removed simple duplicates


Trivial merge