mirror of
https://github.com/servo/servo.git
synced 2025-08-04 21:20:23 +01:00
Remove unused files in 'script/dom/bindings/'
As per this conversation: https://github.com/servo/servo/pull/6580
This commit is contained in:
parent
805232a85e
commit
1ce089abf4
12 changed files with 0 additions and 8656 deletions
|
@ -14,8 +14,6 @@ import WebIDL
|
|||
import cPickle
|
||||
from Configuration import *
|
||||
from CodegenRust import GlobalGenRoots, replaceFileIfChanged
|
||||
# import Codegen in general, so we can set a variable on it
|
||||
import Codegen
|
||||
|
||||
def generate_file(config, name, filename):
|
||||
root = getattr(GlobalGenRoots, name)(config)
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue