seqan/seqan — pull request #745 by h-2 (2014-12-09 16:57:31+00:00)
Title: Remove more dddoc

found some more dddoc