Rename the label tool

This commit is contained in:
2019-04-12 23:50:05 +02:00
parent 89fc9d86c7
commit ef904ccf8c