mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-12 05:40:12 +08:00
Increase parser pickling version to reduce bugtracker issues in the future with people upgrading git commits.
This commit is contained in:
1 parent
ebd080a0fd
commit
2ae3aee7d0
1 file changed
+1
-1
@@ -87,7 +87,7 @@ def save_parser(path, parser, pickling=True):
|
|||||||
|
|
||||||
class ParserPickling(object):
|
class ParserPickling(object):
|
||||||
|
|
||||||
version = 25
|
version = 26
|
||||||
"""
|
"""
|
||||||
Version number (integer) for file system cache.
|
Version number (integer) for file system cache.
|
||||||
|
|
||||||
|
|||||||
Reference in new issue
Block a user