Searched refs:TOOLS_FILE_VERSION (Results 1 – 1 of 1) sorted by relevance
81 TOOLS_FILE_VERSION = 1 variable955 if tools_info['version'] != TOOLS_FILE_VERSION:976 file_json = {'version': TOOLS_FILE_VERSION, 'tools': tools_array}