remove module-info's

KeYProject · May 24, 2024 · 29e5cce · 29e5cce
1 parent f3691f4
commit 29e5cce
Show file tree

Hide file tree

Showing 15 changed files with 0 additions and 228 deletions.
diff --git a/key.core.example/src/main/java/module-info.java b/key.core.example/src/main/java/module-info.java
diff --git a/key.core.proof_references/src/main/java/module-info.java b/key.core.proof_references/src/main/java/module-info.java
diff --git a/key.core.rifl/src/main/java/module-info.java b/key.core.rifl/src/main/java/module-info.java
diff --git a/key.core.symbolic_execution.example/src/main/java/module-info.java b/key.core.symbolic_execution.example/src/main/java/module-info.java
diff --git a/key.core.symbolic_execution/src/main/java/module-info.java b/key.core.symbolic_execution/src/main/java/module-info.java
diff --git a/key.core.testgen/src/main/java/module-info.java b/key.core.testgen/src/main/java/module-info.java
diff --git a/key.core/src/main/java/module-info.java b/key.core/src/main/java/module-info.java
diff --git a/key.removegenerics/src/main/java/module-info.java b/key.removegenerics/src/main/java/module-info.java
diff --git a/key.ui/src/main/java/module-info.java b/key.ui/src/main/java/module-info.java
diff --git a/keyext.caching/src/main/java/module-info.java b/keyext.caching/src/main/java/module-info.java
diff --git a/keyext.exploration/src/main/java/module-info.java b/keyext.exploration/src/main/java/module-info.java
diff --git a/keyext.proofmanagement/src/main/java/module-info.java b/keyext.proofmanagement/src/main/java/module-info.java
diff --git a/keyext.slicing/src/main/java/module-info.java b/keyext.slicing/src/main/java/module-info.java
diff --git a/keyext.ui.testgen/src/main/java/module-info.java b/keyext.ui.testgen/src/main/java/module-info.java
diff --git a/recoder/src/main/java/module-info.java b/recoder/src/main/java/module-info.java