From 5c95efbf88c3816a65ea03b226a13509eb699557 Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@dropbox.com>
Date: Fri, 30 Nov 2018 17:09:23 -0800
Subject: [PATCH] Delete dmypy script -- it no longer works and is not used

---
 scripts/dmypy | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100755 scripts/dmypy

diff --git a/scripts/dmypy b/scripts/dmypy
deleted file mode 100755
index b760d5a7cc1e1..0000000000000
--- a/scripts/dmypy
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/usr/bin/env python3
-"""Mypy daemon client.
-
-This is just a wrapper script. Look at mypy/dmypy.py for the actual
-implementation.
-"""
-
-import os
-import os.path
-import sys
-
-file_dir = os.path.dirname(__file__)
-parent_dir = os.path.join(file_dir, os.pardir)
-if os.path.exists(os.path.join(parent_dir, '.git')):
-    # We are running from a git clone.
-    sys.path.insert(0, parent_dir)
-
-import mypy.dmypy
-
-mypy.dmypy.main()