mirror of
git://projects.qi-hardware.com/eda-tools.git
synced 2025-02-02 18:41:06 +02:00
654c97e89e
We may want to use it in the future for searching (/ forward, ? backward, etc.)