mirror of
https://github.com/davidhalter/jedi.git
synced 2025-12-28 07:56:51 +08:00
update parser pickling version again, because we've changed a lot in the last few commits
This commit is contained in:
@@ -230,7 +230,7 @@ def save_parser(path, name, parser, pickling=True):
|
||||
|
||||
class ParserPickling(object):
|
||||
|
||||
version = 9
|
||||
version = 10
|
||||
"""
|
||||
Version number (integer) for file system cache.
|
||||
|
||||
|
||||
Reference in New Issue
Block a user