Drop kprovex script (#2622)

runtimeverification · Jun 24, 2022 · c70da06 · c70da06
1 parent d25ac48
commit c70da06
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/k-distribution/src/main/scripts/bin/kprovex b/k-distribution/src/main/scripts/bin/kprovex