genometools/genometools — pull request #100 by gordon (2013-09-06 22:20:28+00:00)
Title: remove unused splint target (spgt is used)

rename SPsplintoptions to Splintoptions