diff options
author | vanhauser-thc <vh@thc.org> | 2022-05-31 09:24:28 +0200 |
---|---|---|
committer | vanhauser-thc <vh@thc.org> | 2022-05-31 09:24:28 +0200 |
commit | 50c6031cc3350b3fea486774ddef89eaf2cab5c3 (patch) | |
tree | bb356bd13ba568200194353ecfb700953ef6e91d /utils/optimin/EVALMAXSAT_VERSION | |
parent | 066d65d8469ca504ab86771bd8e5e608efec9517 (diff) | |
download | afl++-50c6031cc3350b3fea486774ddef89eaf2cab5c3.tar.gz |
remove optimin
Diffstat (limited to 'utils/optimin/EVALMAXSAT_VERSION')
-rw-r--r-- | utils/optimin/EVALMAXSAT_VERSION | 1 |
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 |