if (typeof(usage_left[dupe]) == 'undefined') {
usage_left[dupe] = [];
}
- print(par+ ' is a dupe of ' + dupe);
+ //print(par+ ' is a dupe of ' + dupe);
usage_left[dupe].pushUnique(par);
break;
}
}
usage = nusage;
- print(JSON.stringify(nusage,null,4));
- Seed.exit();
+ //print(JSON.stringify(nusage,null,4)); Seed.exit();
//print(JSON.stringify(methods['Gtk.Switch'],null,4));
var str = [];