|
From: Julian S. <js...@ac...> - 2005-10-07 09:38:36
|
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? J |