On 2005-09-02 11:51:44 -0700, Brendan Cully wrote: > I guess so. I just get reluctant to rename things in CVS since it > loses the history. BTW, time to switch to Subversion? :) -- Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / SPACES project at LORIA