mirror of
git://projects.qi-hardware.com/eda-tools.git
synced 2025-01-29 02:11:06 +02:00
a553d5896c
This produced no end of synchronization issues.