76c1a25
Merge pull request #12 from vladdu/master fix scanner issue (erlide_eclipse 305)
1528fe0
Merge branch 'pu'