From 1b2c1bc64ab5d77e1ae565b137d3d3a9ea199c1b Mon Sep 17 00:00:00 2001
From: Jjp137 <Jjp137@users.noreply.github.com>
Date: Thu, 21 Nov 2019 02:19:54 -0800
Subject: [PATCH] Remove a stray file (#12697)

---
 scratch.nim | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 scratch.nim

diff --git a/scratch.nim b/scratch.nim
deleted file mode 100644
index 8b137891791fe..0000000000000
--- a/scratch.nim
+++ /dev/null
@@ -1 +0,0 @@
-