| {"files": {"lines_ended_with_punct": {"file": "lines_ended_with_punct.json"}, "lines_chars": {"file": "lines_chars.json"}, "short_lines": {"file": "short_lines.json"}}, "settings": {"defaultMetric": "lines_ended_with_punct", "autoSetXRange": false, "slider": null}} |