erlide/erlide — pull request #100 by DzmitryP (2013-03-04 12:06:41+00:00)
Title: Pu

Somewhat simplified dialyzer plugin with rigid preferences.