- From: Romain Menke via GitHub <sysbot+gh@w3.org>
- Date: Tue, 06 Dec 2022 17:51:39 +0000
- To: public-design-tokens-log@w3.org
Maybe best to google the three letter acronyms before adopting one. :) ---------- Plain `design-tokens` seems fine to me. This matches the mime type : https://tr.designtokens.org/format/#media-type-mime-type And differentiates it from brand associated formats. -- GitHub Notification of comment by romainmenke Please view or discuss this issue at https://github.com/design-tokens/community-group/issues/164#issuecomment-1339752827 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 6 December 2022 17:51:40 UTC