From 63be2a3668257f4f88ef10c89c1be88d12ff49a3 Mon Sep 17 00:00:00 2001 From: Maxim Kurnikov Date: Sat, 10 Nov 2018 16:24:11 +0300 Subject: [PATCH] add mypy as submodule --- .gitmodules | 3 +++ external/mypy | 1 + 2 files changed, 4 insertions(+) create mode 100644 .gitmodules create mode 160000 external/mypy diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..77e00f5 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "external/mypy"] + path = external/mypy + url = https://github.com/python/mypy.git diff --git a/external/mypy b/external/mypy new file mode 160000 index 0000000..e5e4532 --- /dev/null +++ b/external/mypy @@ -0,0 +1 @@ +Subproject commit e5e453233f347c3f18b3ae4e98e5276c8ce622ab