Gruppe01/EXPHIL03 — pull request #2 by TheSimoms (2014-02-27 14:27:17+00:00)
Title: Remove workspace.xml from git

Removed workspace.xml from git and added an exception in .gitignore.