seqan/seqan — pull request #732 by holtgrewe (2014-12-08 14:25:05+00:00)
Title: [DOC] Removing links to trac.seqan.de.

Fixes #691