"key duplication" to synonyms of craft=key_cutter (#335)

fixes #157
This commit is contained in:
Mateusz Konieczny 2022-01-06 14:59:48 +01:00 committed by GitHub
parent c6761a03fe
commit f8ef9a18c1
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -7,5 +7,8 @@
"tags": {
"craft": "key_cutter"
},
"terms": [
"key duplication"
],
"name": "Key Cutter"
}