diff options
| author | Jjp137 <Jjp137@users.noreply.github.com> | 2019-11-21 02:19:54 -0800 |
|---|---|---|
| committer | Andreas Rumpf <rumpf_a@web.de> | 2019-11-21 11:19:54 +0100 |
| commit | 1b2c1bc64ab5d77e1ae565b137d3d3a9ea199c1b (patch) | |
| tree | bae386442646b16833b2314cd2c9df4670c2b37d | |
| parent | 78e02d174d0269ac9c0c6f7568405471883a78fa (diff) | |
| download | Nim-1b2c1bc64ab5d77e1ae565b137d3d3a9ea199c1b.tar.gz | |
Remove a stray file (#12697)
| -rw-r--r-- | scratch.nim | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scratch.nim b/scratch.nim deleted file mode 100644 index 8b1378917..000000000 --- a/scratch.nim +++ /dev/null @@ -1 +0,0 @@ - |