| Index: lib/dom/scripts/dartdomgenerator.py
|
| diff --git a/lib/dom/scripts/dartdomgenerator.py b/lib/dom/scripts/dartdomgenerator.py
|
| index d48c5af86c8dc1b3c2f7bcc4c0b8983fc2ac3196..8b496eaa8dea513085852759c85a13f797d70032 100755
|
| --- a/lib/dom/scripts/dartdomgenerator.py
|
| +++ b/lib/dom/scripts/dartdomgenerator.py
|
| @@ -149,7 +149,7 @@ def main():
|
| parser = optparse.OptionParser()
|
| parser.add_option('--systems', dest='systems',
|
| action='store', type='string',
|
| - default='frog,dummy,wrapping,htmlfrog,htmldartium',
|
| + default='frog,dummy,htmlfrog,htmldartium',
|
| help='Systems to generate (frog, native, dummy, '
|
| 'htmlfrog, htmldartium)')
|
| parser.add_option('--output-dir', dest='output_dir',
|
|
|