From 049717a46c50317a40866fa428af21808e2eb650 Mon Sep 17 00:00:00 2001
From: Maxim Kurnikov <maxim.kurnikov@gmail.com>
Date: Sat, 5 Jan 2019 01:36:26 +0300
Subject: [PATCH] remove redundant .gitmodules file

---
 .gitmodules | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 .gitmodules

diff --git a/.gitmodules b/.gitmodules
deleted file mode 100644
index 77e00f5..0000000
--- a/.gitmodules
+++ /dev/null
@@ -1,3 +0,0 @@
-[submodule "external/mypy"]
-	path = external/mypy
-	url = https://github.com/python/mypy.git