From e376f859bbb5364dfcd51220538f19de9345b985 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 19 Dec 2014 05:15:03 -0700 Subject: [PATCH] remove accidentally re-added "native-pkgs" --- native-pkgs | 1 - 1 file changed, 1 deletion(-) delete mode 160000 native-pkgs diff --git a/native-pkgs b/native-pkgs deleted file mode 160000 index 2f116c1b64..0000000000 --- a/native-pkgs +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 2f116c1b64af3f980a403cb4b57051457b2a9c39