From e58ad5e0a04548141219c0dc686af2e7a98891c2 Mon Sep 17 00:00:00 2001 From: Andy Date: Sat, 23 Jul 2016 19:53:46 -0700 Subject: [PATCH] Remove unnecessary file (#10207) --- types | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 types diff --git a/types b/types deleted file mode 100644 index 8c33e8d31c..0000000000 --- a/types +++ /dev/null @@ -1,2 +0,0 @@ - -C:\github\DefinitelyTyped>git add -A * && git commit -m "Start preparing for path- transition"