diff -r a1d10c6ce103 -r a7fecbc392d7 ThirdParty/EditorConfig/editorconfig/__init__.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/ThirdParty/EditorConfig/editorconfig/__init__.py Thu Feb 01 19:26:11 2018 +0100
@@ -0,0 +1,19 @@
+"""EditorConfig Python Core"""
+
+from editorconfig.versiontools import join_version
+
+VERSION = (0, 12, 0, "final")
+
+__all__ = ['get_properties', 'EditorConfigError', 'exceptions']
+
+__version__ = join_version(VERSION)
+
+
+def get_properties(filename):
+ """Locate and parse EditorConfig files for the given filename"""
+ handler = EditorConfigHandler(filename)
+ return handler.get_configurations()
+
+
+from editorconfig.handler import EditorConfigHandler
+from editorconfig.exceptions import *
