Merge branch 'develop' into feature/theming

This commit is contained in:
Graham Triggs 2017-03-30 13:22:47 +01:00
commit 97adf5bdfc

View file

@ -70,11 +70,13 @@
<groupId>org.vivoweb</groupId> <groupId>org.vivoweb</groupId>
<artifactId>jena2tools</artifactId> <artifactId>jena2tools</artifactId>
<version>1.0</version> <version>1.0</version>
<optional>true</optional>
</dependency> </dependency>
<dependency> <dependency>
<groupId>org.vivoweb</groupId> <groupId>org.vivoweb</groupId>
<artifactId>jena3tools</artifactId> <artifactId>jena3tools</artifactId>
<version>1.0</version> <version>1.0</version>
<optional>true</optional>
</dependency> </dependency>
</dependencies> </dependencies>
</project> </project>