From c24056629bf98fe282d81a818c886648072591f4 Mon Sep 17 00:00:00 2001
From: Leon Bein <leon.bein@tum.de>
Date: Tue, 18 Jul 2023 11:29:22 +0200
Subject: [PATCH] Delete install-desmoj.bat

---
 lib/install-desmoj.bat | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 lib/install-desmoj.bat

diff --git a/lib/install-desmoj.bat b/lib/install-desmoj.bat
deleted file mode 100644
index 52e355b..0000000
--- a/lib/install-desmoj.bat
+++ /dev/null
@@ -1,2 +0,0 @@
-call mvn install:install-file -Dfile=.\desmoj-2.5.1e-bin.jar -DgroupId=desmoj -DartifactId=desmoj -Dversion=2.5.1e -Dpackaging=jar -DlocalRepositoryPath=.\ -DgeneratePom=true
-PAUSE
\ No newline at end of file