From 0f4a1e99ce0b680d475c622b764b724110823878 Mon Sep 17 00:00:00 2001 From: chaoskagami Date: Fri, 14 Oct 2016 04:55:30 -0400 Subject: [PATCH] delete --- external/ctrulib | 1 - 1 file changed, 1 deletion(-) delete mode 160000 external/ctrulib diff --git a/external/ctrulib b/external/ctrulib deleted file mode 160000 index adbdf35..0000000 --- a/external/ctrulib +++ /dev/null @@ -1 +0,0 @@ -Subproject commit adbdf3584bde6ac7cfaa19eba1a362a800365a97 -- 2.39.5