commit | 67673b08ea302174ca9c6559c04311550ae9f189 | [log] [tgz] |
---|---|---|
author | Pablo Galindo <Pablogsal@gmail.com> | Thu Jul 02 23:08:36 2020 +0100 |
committer | GitHub <noreply@github.com> | Thu Jul 02 23:08:36 2020 +0100 |
tree | 4cff3b0c629bb8a4e0d959af0151fb53f3be5cb8 | |
parent | 0ab917e07ed64c6bfde6f6e791f9b28acc97b510 [diff] |
Remove extraneous file from the Docs folder (GH-21286)