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)
commitde8c9c7c474bc03ec86bf9667c2d8d37936b58ee
treee6491e543dbe278a105dba1ffa801edca76ead77
parent37c40dcfb453e3378ccd918d387a50584b0f9dda
parente6f22c5e1e9b969d2aec936ed703e2ffaf6b586c
Merge pull request #304 from jfoug/master

dive.rule: removed simple duplicates