From aab08783641323140384b14cfa533659f938ad77 Mon Sep 17 00:00:00 2001 From: Richard Kuhnt Date: Sun, 6 May 2018 22:01:48 +0000 Subject: [PATCH] Update editorconfig to version 0.12.2 --- editorconfig.json | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/editorconfig.json b/editorconfig.json index 09501e5e2e..cc68dd0a84 100644 --- a/editorconfig.json +++ b/editorconfig.json @@ -1,9 +1,9 @@ { - "version": "0.12.1", - "extract_dir": "editorconfig-0.12.1-Windows-x86", - "url": "https://excellmedia.dl.sourceforge.net/project/editorconfig/EditorConfig-C-Core/0.12.1/binary-Windows/editorconfig-0.12.1-Windows-x86.zip", + "version": "0.12.2", + "extract_dir": "editorconfig-0.12.2-Windows-x86", + "url": "https://excellmedia.dl.sourceforge.net/project/editorconfig/EditorConfig-C-Core/0.12.2/binary-Windows/editorconfig-0.12.2-Windows-x86.zip", "homepage": "http://editorconfig.org/", - "hash": "sha1:7c44b819690baec3de22edc0c9f7eb21dc0a7850", + "hash": "251a85b3bac687974f360d3796048c20ded3bf0bd69e0d1cfd1db23d013f89ed", "bin": "bin/editorconfig.exe", "checkver": { "github": "https://github.com/editorconfig/editorconfig-core-c"