opencog/opencog — pull request #19 by linas (2012-10-28 16:40:46+00:00)
Title: Githart merge

merge dharts cleanups