From 80dd1e99dbf771c84b3433a589d649685b92f2ad Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Wed, 16 Dec 2020 17:23:16 +0100 Subject: [PATCH] sci: remove dead code --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index f1c44b83..df583ad0 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit f1c44b83ab3a05e17f2f581604a01cdbf265c200 +Subproject commit df583ad00426b394460f94abb526146a9c43cebb