mirror of
https://github.com/davidhalter/jedi.git
synced 2026-02-20 02:18:26 +08:00
increase pickling version and change mixin path for builtins
This commit is contained in:
@@ -174,7 +174,7 @@ def save_module(path, name, parser, pickling=True):
|
||||
|
||||
class _ModulePickling(object):
|
||||
|
||||
version = 5
|
||||
version = 6
|
||||
"""
|
||||
Version number (integer) for file system cache.
|
||||
|
||||
|
||||
Reference in New Issue
Block a user