| File | Date | Author | Commit |
|---|---|---|---|
| org.eclipse.core.resources.prefs | 2014-05-09 |
Rudolf Mayer
|
[dcde61] updated settings |
| org.eclipse.jdt.core.prefs | 2014-05-22 |
Rudolf Mayer
|
[d3088a] writing of dependencies as VersionedPackage |
| org.eclipse.jdt.ui.prefs | 2014-01-07 |
Carlos Coutinho
|
[af237c] First Version on Git, synchronised with TIMBUS ... |