wolfgangmm/eXide — pull request #24 by ljo (2013-06-28 14:30:14+00:00)
Title: Develop merge of bugfix branch

Make the delete task not fail if the build dir does not exist.