]> source.dussan.org Git - gitignore.git/commitdiff
Merge pull request #170 from industria/patch-1
authorChris Wanstrath <chris@ozmm.org>
Fri, 2 Sep 2011 00:02:25 +0000 (17:02 -0700)
committerChris Wanstrath <chris@ozmm.org>
Fri, 2 Sep 2011 00:02:25 +0000 (17:02 -0700)
Added *.plt used by dialyzer


Trivial merge