tree f1bb694491c92b09eac5b7754f88f6f00a6ca599
parent 42dbbb477e0e22c7aa639b171ca8b07749af7c70
author mhohenegger <mhohenegger@eclipsesource.com> 1331744593 +0100
committer mhohenegger <mhohenegger@eclipsesource.com> 1331744593 +0100

switching back to "git" since the workspace on the server could finally
be deleted