GLab/ToMaTo — pull request #798 by t-gerhard (2014-09-01 08:47:06+00:00)
Title: added possibility to remove errordumps from backend

Closes #797