mirror of
git://projects.qi-hardware.com/eda-tools.git
synced 2025-01-22 13:41:06 +02:00
28baddb59f
We don't really need to, but valgrind complains about it.