opencog/opencog — pull request #269 by TNick (2013-08-26 17:44:50+00:00)
Title: Fixing version related issue with doxygen css

... introduced by my earlier commit