diff options
| author |  Mehrdad Afshari <mehrdada@users.noreply.github.com> | 2018-01-08 21:28:49 -0800 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-01-08 21:28:49 -0800 |
| commit | 834dabae079cc039c1903c51c54a786873154bd4 (patch) | |
| tree | 15bc2b7401966c3267483975786889e865ec6dfb | |
| parent | 32d077e7e18ea0164aaa78cf350a00f429cbadeb (diff) | |
| parent | 32f9e98581acd8de7c5e986e6a186e5e3d2dadce (diff) | |
Merge pull request #13954 from mehrdada/remove-file
Remove garbage file doc/md
| -rw-r--r-- | doc/md | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/doc/md b/doc/md deleted file mode 100644 index e69de29bb2..0000000000 --- a/doc/md +++ /dev/null |