genometools/genometools — pull request #223 by Garonenur (2014-02-03 15:19:03+00:00)
Title: small cosmetics

there was an error in the devguide