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 /.gitmodules | |
| parent | 066d65d8469ca504ab86771bd8e5e608efec9517 (diff) | |
| download | afl++-50c6031cc3350b3fea486774ddef89eaf2cab5c3.tar.gz | |
remove optimin
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.gitmodules b/.gitmodules index 8ba1c39d..18fda27e 100644 --- a/.gitmodules +++ b/.gitmodules @@ -10,9 +10,6 @@ [submodule "custom_mutators/gramatron/json-c"] path = custom_mutators/gramatron/json-c url = https://github.com/json-c/json-c -[submodule "utils/optimin/EvalMaxSAT"] - path = utils/optimin/EvalMaxSAT - url = https://github.com/FlorentAvellaneda/EvalMaxSAT [submodule "coresight_mode/patchelf"] path = coresight_mode/patchelf url = https://github.com/NixOS/patchelf.git |