mirror of
git://projects.qi-hardware.com/eda-tools.git
synced 2025-03-20 23:28:53 +02:00
Before, duplicate names in the tree always pointed to the same page. Now they point to the respective locations. Note that this does not affect handling of duplicate names in libraries, where still only one "wins" while the other is completely ignored.