Hi DJ, I was thinking about pinnames and text, not netnames... The overbar delimiter can be changed. What about "#" (and use \# to get the "#" character)?
Carlos El lun, 27-02-2006 a las 13:27 -0500, DJ Delorie escribió: > /me worries about using the '\' character in net names. They get > exported through gnetlist.
