1
0
mirror of git://projects.qi-hardware.com/antorcha.git synced 2025-04-02 00:37:29 +03: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
..