]> source.dussan.org Git - gitignore.git/commit
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)
commitf2d16f557566308326c46b36eb512743725f9525
tree46aa25426bceb47a05085ff5b11bc96dda33a3d5
parentbb8eb0609de2aab4d1334106a174beeebdf9ae8d
parenta226f5106b6f9fd562bf5324fd5476d74dfb7a87
Merge pull request #170 from industria/patch-1

Added *.plt used by dialyzer