commit | eb79262b23ccaab3d2ef8042f3cdea6720cd723b | [log] [tgz] |
---|---|---|
author | mhohenegger <mhohenegger@eclipsesource.com> | Wed Mar 14 18:03:13 2012 +0100 |
committer | mhohenegger <mhohenegger@eclipsesource.com> | Wed Mar 14 18:03:13 2012 +0100 |
tree | f1bb694491c92b09eac5b7754f88f6f00a6ca599 | |
parent | 42dbbb477e0e22c7aa639b171ca8b07749af7c70 [diff] |
switching back to "git" since the workspace on the server could finally be deleted