seqan/seqan — pull request #735 by holtgrewe (2014-12-08 15:27:38+00:00)
Title: Removing misc

The useful stuff goes into util, the cruft goes away.