From fbd35e8111feafa0f3199fa5dd76bdb3ed196b74 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Sun, 12 Sep 2021 13:42:24 +0200 Subject: [PATCH] move proof package into wip since it is not finished --- {environments => wip}/mkessler-proof.sty | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {environments => wip}/mkessler-proof.sty (100%) diff --git a/environments/mkessler-proof.sty b/wip/mkessler-proof.sty similarity index 100% rename from environments/mkessler-proof.sty rename to wip/mkessler-proof.sty