Re: [graph-tool] Graph-tool with Docker

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. Thanks bunch! ~Matt -- View this message in context: http://main-discussion-list-for-the-graph-tool-project.982480.n3.nabble.com/... Sent from the Main discussion list for the graph-tool project mailing list archive at Nabble.com.