seqan/seqan — pull request #15 by holtgrewe (2013-11-20 15:25:03+00:00)
Title: Feature/dox fixes

Various small fixes to dox documentation and dox system.