On 26.07.2017 17:10, matthewcampbell wrote:
> So the docker file is not in the source code git repo or in the
> documentation. Can you please just add the "Dockerfile" to the main repo.
No, this is distribution related stuff, and does not belong to the main
repository.
As I already mentioned, I already put a link to it in the wiki:
https://git.skewed.de/count0/graph-tool/wikis/Installation-instructions
--
Tiago de Paula Peixoto <[hidden email]>
_______________________________________________
graph-tool mailing list
[hidden email]
https://lists.skewed.de/mailman/listinfo/graph-tool
signature.asc (849 bytes) Download Attachment--
Tiago de Paula Peixoto <[hidden email]>
If you reply to this email, your message will be added to the discussion below: