Lines Matching full:tool_extensions
141 if "tool_extensions" not in d:143 d["tool_extensions"] = read_helper("META/tool-extensions.txt").strip()