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