Add runnable jars for spec gui and main application

6df7be2a · Joachim Müssig · caebeb50 · 6df7be2a · 6df7be2a
Commit 6df7be2a authored Nov 25, 2019 by Joachim Müssig
Hide whitespace changes
Inline Side-by-side

Showing with 0 additions and 0 deletions

Runnable Jars/KeYJoana.jar Runnable Jars/KeYJoana.jar +0 -0

Runnable Jars/KeYJoanaSpecGui.jar Runnable Jars/KeYJoanaSpecGui.jar +0 -0

No files found.
--- a/Runnable Jars/KeYJoana.jar
+++ b/Runnable Jars/KeYJoana.jar
--- a/Runnable Jars/KeYJoanaSpecGui.jar
+++ b/Runnable Jars/KeYJoanaSpecGui.jar