Remove the configuration item 'godot-tools.check_config' as it has no effect (#246)
Remove the configuration item 'godot-tools.check_config' as it has no effect (#246)

This closes #240.
GodotExplorer/godot-tools,GodotExplorer/godot-tools