seqan/seqan — pull request #93 by holtgrewe (2013-12-09 13:14:08+00:00)
Title: [FIX] Writing out demo path as HTML attribute.

This allows for smarter folding of examples.