source: @ 214

Name	Size	Rev	Age	Author	Last Change
trunk	​	214	12 years	bouyer	Add iss_set_debug_mask() method, used to set the iss's debug mask.