-
Benjamin Sonntag authored
Fixes #1107 : downloading a folder works indeed ! but yes, we had a file naming issue (zip or tar.bz2 were in fact zip or tar.bz2, but they were still named .tar.gz...)
6a1e676c
Fixes #1107 : downloading a folder works indeed ! but yes, we had a file naming issue (zip or tar.bz2 were in fact zip or tar.bz2, but they were still named .tar.gz...)