Missing libs.

b9e9a1a3 · Schwenger · 297d0c2d · b9e9a1a3 · b9e9a1a3 · b9e9a1a3
Commit b9e9a1a3 authored 5 years ago by Schwenger
--- a/lib/automatalib-0.9.0-SNAPSHOT-bundle.jar
+++ b/lib/automatalib-0.9.0-SNAPSHOT-bundle.jar
--- a/lib/automatalib-0.9.0-SNAPSHOT-dependencies-bundle.jar
+++ b/lib/automatalib-0.9.0-SNAPSHOT-dependencies-bundle.jar
--- a/lib/automatalib-0.9.0-SNAPSHOT-sources.jar
+++ b/lib/automatalib-0.9.0-SNAPSHOT-sources.jar
--- a/lib/owl-minimized-20.XX-development/AUTHORS
+++ b/lib/owl-minimized-20.XX-development/AUTHORS
+# Maintainer
+
+* Salomon Sickert
+* Tobias Meggendorfer
+
+# Contributors
+
+* Philipp Meyer
+* Guillermo A. Perez
+* Christopher Ziegler
+* Florian Barta
+* Matthias Franze
+
+# Honorable mentions (previous versions)
+
+* Andreas Gaiser
+* Jan Kretinsky
+* Zuzana Komarkova
+* Ruslan Ledesma-Garza
\ No newline at end of file
--- a/lib/owl-minimized-20.XX-development/LICENSE
+++ b/lib/owl-minimized-20.XX-development/LICENSE
--- a/lib/owl.zip
+++ b/lib/owl.zip
--- a/lib/rltl2ltl.jar
+++ b/lib/rltl2ltl.jar