![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | artifacts.jar | 2017-05-23 09:58 | 9.3K | |
![]() | artifacts.xml.xz | 2017-05-23 09:58 | 7.9K | |
![]() | binary/ | 2017-05-23 09:58 | - | |
![]() | content.jar | 2017-05-23 09:58 | 69K | |
![]() | content.xml.xz | 2017-05-23 09:58 | 33K | |
![]() | de.itemis.tooling.xturtle.updatesite-1.0.1.zip | 2013-05-10 09:46 | 431K | |
![]() | features/ | 2017-05-23 09:58 | - | |
![]() | org.culturegraph.mf.ide.p2-0.1.0-SNAPSHOT.zip | 2013-06-13 15:33 | 83M | |
![]() | org.culturegraph.mf.ide.p2-0.2.0-SNAPSHOT.zip | 2017-05-23 11:45 | 79M | |
![]() | p2.index | 2017-05-23 09:59 | 173 | |
![]() | plugins/ | 2017-05-23 10:06 | - | |