remove ignored files

runtimeverification · Dec 27, 2017 · 5414199 · 5414199
1 parent d819010
commit 5414199
Show file tree

Hide file tree

Showing 45 changed files with 0 additions and 17,275 deletions.
diff --git a/...solution-cache/default/kore-build/scala_2.12/sbt_1.0/0.1-SNAPSHOT/resolved.xml.properties b/...solution-cache/default/kore-build/scala_2.12/sbt_1.0/0.1-SNAPSHOT/resolved.xml.properties
diff --git a/...-1.0/resolution-cache/default/kore-build/scala_2.12/sbt_1.0/0.1-SNAPSHOT/resolved.xml.xml b/...-1.0/resolution-cache/default/kore-build/scala_2.12/sbt_1.0/0.1-SNAPSHOT/resolved.xml.xml
diff --git a/...arget/scala-2.12/sbt-1.0/resolution-cache/reports/default-kore-build-compile-internal.xml b/...arget/scala-2.12/sbt-1.0/resolution-cache/reports/default-kore-build-compile-internal.xml
diff --git a/project/target/scala-2.12/sbt-1.0/resolution-cache/reports/default-kore-build-compile.xml b/project/target/scala-2.12/sbt-1.0/resolution-cache/reports/default-kore-build-compile.xml
diff --git a/project/target/scala-2.12/sbt-1.0/resolution-cache/reports/default-kore-build-optional.xml b/project/target/scala-2.12/sbt-1.0/resolution-cache/reports/default-kore-build-optional.xml
diff --git a/project/target/scala-2.12/sbt-1.0/resolution-cache/reports/default-kore-build-plugin.xml b/project/target/scala-2.12/sbt-1.0/resolution-cache/reports/default-kore-build-plugin.xml
diff --git a/project/target/scala-2.12/sbt-1.0/resolution-cache/reports/default-kore-build-pom.xml b/project/target/scala-2.12/sbt-1.0/resolution-cache/reports/default-kore-build-pom.xml