about summary refs log tree commit diff
path: root/utils/optimin/EVALMAXSAT_VERSION
diff options
context:
space:
mode:
authorvanhauser-thc <vh@thc.org>2022-05-31 09:24:28 +0200
committervanhauser-thc <vh@thc.org>2022-05-31 09:24:28 +0200
commit50c6031cc3350b3fea486774ddef89eaf2cab5c3 (patch)
treebb356bd13ba568200194353ecfb700953ef6e91d /utils/optimin/EVALMAXSAT_VERSION
parent066d65d8469ca504ab86771bd8e5e608efec9517 (diff)
downloadafl++-50c6031cc3350b3fea486774ddef89eaf2cab5c3.tar.gz
remove optimin
Diffstat (limited to 'utils/optimin/EVALMAXSAT_VERSION')
-rw-r--r--utils/optimin/EVALMAXSAT_VERSION1
1 files changed, 0 insertions, 1 deletions
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