File size: 254 Bytes
1d30d42 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 |
{
"revision" : 1,
"instructions" : [
{
"opname" : "DebugPrintf",
"opcode" : 1,
"operands" : [
{ "kind" : "IdRef", "name" : "'Format'" },
{ "kind" : "IdRef", "quantifier" : "*" }
]
}
]
}
|