1
0
mirror of git://projects.qi-hardware.com/antorcha.git synced 2025-01-22 00:01:06 +02:00
Werner Almesberger cf8c7f754d tools/: rename free_edit to free_edits
Makes it clearer that it's not about freeing just a single edit record.
2012-11-01 19:06:58 -03:00
..