blob: dbaf0253579574f1815b3b0d1edbd6f4eff74ada [file] [log] [blame]
[
{
"type": "target",
"target": "exe0",
"operation": "target_rm"
},
{
"type": "target",
"target": "trivialprog1",
"operation": "target_rm"
},
{
"type": "target",
"target": "trivialprog9",
"operation": "target_rm"
}
]