| commit | b232c26ebce7f3c1732f33e412500b68bafebc2c | [log] [tgz] |
|---|---|---|
| author | Christopher <christopher.gerking@upb.de> | Thu Aug 10 17:30:03 2017 +0200 |
| committer | Christopher <christopher.gerking@upb.de> | Thu Aug 10 17:30:03 2017 +0200 |
| tree | 38b7a8d38e6fbc45320c2e418abd5196fa55443f | |
| parent | 55a28c2e754dbcb4703f5f56a952330989cd67c3 [diff] |
[474603] Simplify class reloading from workspace