mirror of
https://github.com/davidhalter/jedi.git
synced 2026-01-02 10:13:22 +08:00
merged _some_method and _remove_statements
This commit is contained in:
@@ -23,7 +23,7 @@ enable_notice = False
|
||||
|
||||
# callback, interface: level, str
|
||||
debug_function = None
|
||||
ignored_modules = ['jedi.builtin', 'jedi.parser']
|
||||
ignored_modules = ['jedi.evaluate.builtin', 'jedi.parser']
|
||||
|
||||
|
||||
def reset_time():
|
||||
|
||||
Reference in New Issue
Block a user