|
From: Nicholas N. <nj...@cs...> - 2005-10-07 14:24:43
|
On Fri, 7 Oct 2005, Tom Hughes wrote: >> I'd like to rename this (still marginally useful) flag for 3 reasons: >> - it sounds hacky and unprofessional >> - it conveys near-zero info to the reader about what it does >> - i can never remember how to spell weird (wierd?) >> >> I was thinking of --simulation-hints=, which imo addresses all 3 >> problems. What do you think? > > Sounds fine to me. Me too. Will you let --weird-hacks still work, at least for a while? N |