13 lines
147 B
JSON
13 lines
147 B
JSON
|
{
|
||
|
|
"include":[
|
||
|
|
"header.h"
|
||
|
|
],
|
||
|
|
"definitions":{
|
||
|
|
"DIGIT": "[0-9]"
|
||
|
|
},
|
||
|
|
"rules":{
|
||
|
|
"{DIGIT}":"{print(\"\")}"
|
||
|
|
},
|
||
|
|
"user-code":{}
|
||
|
|
}
|