seqan/seqan — pull request #210 by holtgrewe (2014-02-12 15:24:06+00:00)
Title: A fix for various dox issues and a bug in the dox system

#185 #178 #167 #149