From 50c6031cc3350b3fea486774ddef89eaf2cab5c3 Mon Sep 17 00:00:00 2001
From: vanhauser-thc <vh@thc.org>
Date: Tue, 31 May 2022 09:24:28 +0200
Subject: remove optimin

---
 utils/optimin/EvalMaxSAT | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 utils/optimin/EvalMaxSAT

(limited to 'utils/optimin/EvalMaxSAT')

diff --git a/utils/optimin/EvalMaxSAT b/utils/optimin/EvalMaxSAT
deleted file mode 160000
index 440bf90e..00000000
--- a/utils/optimin/EvalMaxSAT
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 440bf90edf88f6ab940934129e3c5b3b93764295
-- 
cgit 1.4.1