changeset 6443 | a5bed0cd3956 |
parent 6356 | e89f71a41e20 |
child 6444 | cc091175d3da |
--- a/devtools/devctl.py Mon Oct 11 14:45:25 2010 +0200 +++ b/devtools/devctl.py Mon Oct 11 17:59:58 2010 +0200 @@ -234,6 +234,8 @@ def _iter_vreg_objids(vreg, done): for reg, objdict in vreg.items(): + if reg in ('boxes', 'contentnavigation'): + continue for objects in objdict.values(): for obj in objects: objid = '%s_%s' % (reg, obj.__regid__)