Author: tille Date: 2017-01-03 07:11:07 +0000 (Tue, 03 Jan 2017) New Revision: 23462 Removed: trunk/packages/seqan1.3/ Log: There is no need to maintain seqan 1.3 separately