I don't like having gtk store settings in two different places, but I don't particularly care which one is used.
_______________________________________________ geda-user mailing list [email protected] http://www.seul.org/cgi-bin/mailman/listinfo/geda-user

