Set up big file storage somewhere other than github #23
Description
Eg images / ppx files - github isn't really the place for them :s
Maybe dropbox or some other free place
{{ message }}
Eg images / ppx files - github isn't really the place for them :s
Maybe dropbox or some other free place