| commit | 8b8fe2e11a79780fae479d0ee6778dd60c25c0a7 | [log] [tgz] |
|---|---|---|
| author | Daniel Strüber <strueber@mathematik.uni-marburg.de> | Tue Feb 20 16:09:23 2018 +0100 |
| committer | Daniel Strueber <strueber@mathematik.uni-marburg.de> | Tue Feb 20 10:09:43 2018 -0500 |
| tree | 1bc74871aeb8ba7a9d742f3405304f7918029c22 | |
| parent | 970c1095e9b9e5d611201634b131e80690ee9f67 [diff] |
Add core.runtime import to feature Change-Id: I9cb05eb2946984bd90189f34d34449f2e9bcca48