seqan/seqan — pull request #67 by holtgrewe (2013-12-03 10:23:21+00:00)
Title: [FIX] Fixing tokenization of subentries in dox.

We left in a space character that did not belong.