{
    "puppet.editorService.puppet.version": "7.25.0"
}