##// END OF EJS Templates
Merge pull request #3118 from minrk/osname...
Merge pull request #3118 from minrk/osname don't give up on weird os names
Thomas Kluyver -
r10089:9e1e3cab merge
Show More