26 Jul
2017
26 Jul
'17
4:14 p.m.
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 <tiago@skewed.de>