erlide/erlide — pull request #25 by vladdu (2011-11-09 17:59:09+00:00)
Title: small fixes that wouldn't need a pull request :-)

just testing the workflow

please review and add an "ok"/"+1" or "not ok"/"-1"