tree 1d3b6016fbb584675511aac5cbfa933bbf23fd06
parent ff801f5de114abc49d8c3cfa8f7631ecd653cb66
author GianMaria Romanato <gm.romanato@gmail.com> 1483636639 +0100
committer GianMaria Romanato <gm.romanato@gmail.com> 1483636639 +0100

486353: Virgo 3.7 and 3.6.x does not support native library on Windows
8.1 and Windows 10 

Change Virgo35Provider to set system property os.name=win32 on Windows
10.

Task-Url: https://bugs.eclipse.org/bugs/show_bug.cgi?id=486353