diff TOOLS/emboss.fp @ 23728:3c2d3fadf94f

Leave out (no) prefix from option names for consistency.
author diego
date Mon, 09 Jul 2007 14:58:50 +0000
parents 69785427a61e
children cae067bfc231
line wrap: on
line diff