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)
commita7886f02f44ebc3d01f2c9ee3fef0c35e2736b96
treefbc185697f523f4694ec23624736b0c0a49ad30e
parent72e3821a4cffa30564f65b266b6044bc6f854173
parent7c7836acddc4613c8215c92d9b43c6f0a407e613
Merge pull request #325 from jfoug/master

dive.rule: duplicates found by running data have been removed.