Merge pull request #6046 from etracer65/remove_unneded_file
commitc648c5460ce2330d86986edccc3c642ad3648cea
authorAndrey Mironov <diehertz@gmail.com>
Mon, 4 Jun 2018 18:47:41 +0000 (4 21:47 +0300)
committerGitHub <noreply@github.com>
Mon, 4 Jun 2018 18:47:41 +0000 (4 21:47 +0300)
tree5e726c01b8ad9fcf4622f36372341f4d58a05069
parent6fa1a26e7188f49b73a734d58e820d714d3af620
parentee447cc1b7ae03ecac80b2af63617fed37c1dab8
Merge pull request #6046 from etracer65/remove_unneded_file

Remove empty "1.8" file accidentally added to root directory by #6014