genometools/genometools — pull request #120 by gordon (2013-09-12 21:18:19+00:00)
Title: make `gt -seed` regular option

-seed is mentioned in `gt -help` already and to avoid confusion it should be a
regular option