[community-group] Merged Pull Request: refactor(vocabulary): rename "export tool" => "translation tool"

c1rrus has just merged lauthieb's pull request 156 for https://github.com/design-tokens/community-group:

== refactor(vocabulary): rename "export tool" => "translation tool" ==
In order to be more consistent, I've proposed to align terms of "export tool" & "translation tool".

So, this PR is there to close my issue about this: closes #152

Btw, thanks a lot @c1rrus for your comment on this:

> Good point!
> 
> I think you're right, we've used multiple terms to mean the same thing and ought to clean that up.

Feel free if you want to challenge :)

Have a nice day,

See https://github.com/design-tokens/community-group/pull/156


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 10 August 2022 07:32:26 UTC