Merge remote-tracking branch 'origin/new-winpty'
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 20 Jun 2016 18:36:54 +0000 (20:36 +0200)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Mon, 20 Jun 2016 18:36:54 +0000 (20:36 +0200)
commit4ed85d93be6fe7366b6cc7b87c9114b7ecc02c68
treed1529e95ccb79dadeb1f25276061b3238a157186
parent6c3cea6d203b4e31c0fd955207e264492ec60c26
parent8046616cc6688d5ef689a5b5cbaf769a4a2d8fad
Merge remote-tracking branch 'origin/new-winpty'
build/scripts/libLicenses.gant
lib/required_for_dist.txt