mirror of
https://github.com/servo/servo.git
synced 2025-06-06 16:45:39 +00:00
8be014ee46
This directory now contains third_party software that is vendored into the Servo source tree. The idea is that it would eventually hold webrender and other crates from mozilla-central as well with a standard patch management approach for each.
10 lines
352 B
Diff
10 lines
352 B
Diff
--- WebIDL.py
|
|
+++ WebIDL.py
|
|
@@ -8827,6 +8827,7 @@ class Parser(Tokenizer):
|
|
module=self,
|
|
outputdir=outputdir,
|
|
errorlog=logger,
|
|
+ debug=False,
|
|
write_tables=False,
|
|
# Pickling the grammar is a speedup in
|
|
# some cases (older Python?) but a
|