1. 11 Jan, 2018 1 commit
    • Guido Gunther's avatar
      Move files we ship to data · c6e362ce
      Guido Gunther authored
      so files/ only contains generated stuff.
      This Separates files we want to upload (needed to build the image) from
      files in this repo and temporary files like logs before things get out
      of control.