Skip to content
Snippets Groups Projects
  1. Sep 08, 2016
  2. Sep 07, 2016
    • Peter Scheibel's avatar
      Fix fetching non-expanded resources from mirrors (#1310) · fd02a140
      Peter Scheibel authored
      This closes #1308, where fetching a non-expanded resource from a mirror
      will cause an error.
      
      This also ensures that when a URL resource is fetched from a mirror,
      that it will be named as though it were retrieved from the original
      URL. This is particularly useful for non-expanded resources since it
      ensures that the resource name is consistent for the installation
      (this is less important for expanded resources because the build takes
      place inside the expanded resource).
      fd02a140
  3. Sep 06, 2016
  4. Sep 03, 2016
  5. Sep 02, 2016
  6. Sep 01, 2016
Loading