cwi-swat/rascal — pull request #557 by CindyBerghuizen (2014-04-25 09:24:03+00:00)
Title: issue #556 HttpsURIResolver added

Adds the ability to do readHTMLFile() with a https url.
commit #eb38b09 can be ignored, I don’t now how that happened.