var class_launch_action =
[
    [ "getFileSpec", "class_launch_action.html#ab138df036206c58521cb121601aea271", null ],
    [ "setFileSpec", "class_launch_action.html#aea5154d8f50fd09ae16ce4572dbadaa0", null ]
];