diff mxtool/URLConnectionDownload.java @ 9585:404eb9b2c511

use os.name property to identify Windows OS
author twisti
date Mon, 06 May 2013 16:52:12 -0700
parents db072eec897e
children 2022366b513c
line wrap: on
line diff