18 lines
285 B
Plaintext
18 lines
285 B
Plaintext
{
|
|
"abbrev": "",
|
|
"description": [
|
|
""
|
|
],
|
|
"formatVersion": 1,
|
|
"menu": "",
|
|
"name": "Définiton",
|
|
"shortcut": "",
|
|
"tag": [
|
|
"% définition",
|
|
"\\begin{definition}[]",
|
|
"\t",
|
|
"\\end{definition}"
|
|
],
|
|
"trigger": ""
|
|
}
|