Merge pull request #315 from jfoug/master
authorJens Steube <jens.steube@gmail.com>
Mon, 25 Apr 2016 05:17:58 +0000 (07:17 +0200)
committerJens Steube <jens.steube@gmail.com>
Mon, 25 Apr 2016 05:17:58 +0000 (07:17 +0200)
dive, generated, generated2. Remove duplicate T rules


Trivial merge