opencog/opencog — pull request #1071 by AmeBel (2014-10-20 03:11:07+00:00)
Title: Alternative Dockerfile

This adds an alternative Dockerfile and updates .dockerignore