Suppress a wrong error message for Windows users
authorterencehill <piuntn@gmail.com>
Tue, 13 Jun 2017 14:39:44 +0000 (16:39 +0200)
committerterencehill <piuntn@gmail.com>
Tue, 13 Jun 2017 14:39:44 +0000 (16:39 +0200)
commitdb64c0e16ea89bca0d55af5a26f17ecef0fe6316
tree335095131507d097f05ce44d3e69ed0643cbe10f
parentb5edfec6f36c8497d9cf83cd919c870e4323d875
Suppress a wrong error message for Windows users
all