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_VERSION | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 utils/optimin/EVALMAXSAT_VERSION

(limited to 'utils/optimin/EVALMAXSAT_VERSION')

diff --git a/utils/optimin/EVALMAXSAT_VERSION b/utils/optimin/EVALMAXSAT_VERSION
deleted file mode 100644
index d836ff1c..00000000
--- a/utils/optimin/EVALMAXSAT_VERSION
+++ /dev/null
@@ -1 +0,0 @@
-440bf90edf88f6ab940934129e3c5b3b93764295
-- 
cgit 1.4.1