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 | - | ||