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