From 50c6031cc3350b3fea486774ddef89eaf2cab5c3 Mon Sep 17 00:00:00 2001 From: vanhauser-thc Date: Tue, 31 May 2022 09:24:28 +0200 Subject: remove optimin --- .gitmodules | 3 --- 1 file changed, 3 deletions(-) (limited to '.gitmodules') 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 -- cgit v1.2.3