18 lines
265 B
JSON
18 lines
265 B
JSON
[
|
|
{
|
|
"type": "target",
|
|
"target": "exe0",
|
|
"operation": "target_rm"
|
|
},
|
|
{
|
|
"type": "target",
|
|
"target": "trivialprog1",
|
|
"operation": "target_rm"
|
|
},
|
|
{
|
|
"type": "target",
|
|
"target": "trivialprog9",
|
|
"operation": "target_rm"
|
|
}
|
|
]
|