line, the cvs manual has:
...
CVS and the Real World.
-----------------------We should tell them to do something else, though I'm not sure precisely what offhand. Use a @...heading inside a menu? Seems weird. Anyway, let's not let that alter the decision, especially since you found the roman dashes don't work all that well anyway. Thanks, k
