mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-16 00:22:36 +08:00
bump _ModulePickling number
This commit is contained in:
1 parent
88f39a01cb
commit
902e197c4e
1 file changed
+1
-1
+1
-1
@@ -219,7 +219,7 @@ def save_module(path, name, parser, pickling=True):
|
||||
|
||||
class _ModulePickling(object):
|
||||
|
||||
version = 2
|
||||
version = 3
|
||||
"""
|
||||
Version number (integer) for file system cache.
|
||||
|
||||
|
||||
Reference in new issue
Block a user