seqan/seqan — pull request #493 by h-2 (2014-09-24 10:24:46+00:00)
Title: Infrastructure/extras inc to core

first pull request in the "extras and core " merger.