Merge branch 'develop' of github.com:weese/seqan into develop
Changed from pre-compilation to live compilation, added a portfile for
LEMON
Merge branch 'develop' of github.com:weese/seqan into develop
Merge branch 'develop' of github.com:seqan/seqan into develop
Merge branch 'develop' of github.com:weese/seqan into develop
Merge pull request #303 from weese/hotfix/header-guards

[FIX] header guards (master)
Merge branch 'master' into develop
Merge branch 'develop' of github.com:seqan/seqan into develop