##// END OF EJS Templates
Backport PR #3118: don't give up on weird os names...
Backport PR #3118: don't give up on weird os names like java closes #3113
MinRK -
r10117:d2ae5b3b
Show More