version.json

{
  "syntax": 2,
  "package": "",
  "imports": [],
  "enums": [],
  "messages": [
    {
      "name": "Point",
      "enums": [],
      "extends": [],
      "messages": [],
      "fields": [
        {
          "name": "x",
          "type": "int32",
          "tag": 1,
          "map": null,
          "oneof": "",
          "required": true,
          "repeated": false,
          "deprecated": false,
          "packed": false,
          "optional": false,
          "options": {}
        },
        {
          "name": "y",
          "type": "int32",
          "tag": 2,
          "map": null,
          "oneof": "",
          "required": true,
          "repeated": false,
          "deprecated": false,
          "packed": false,
          "optional": false,
          "options": {}
        },
        {
          "name": "label",
          "type": "string",
          "tag": 3,
          "map": null,
          "oneof": "",
          "required": false,
          "repeated": false,
          "deprecated": false,
          "packed": false,
          "optional": true,
          "options": {}
        }
      ],
      "extensions": null,
      "options": {}
    },
    {
      "name": "Line",
      "enums": [],
      "extends": [],
      "messages": [],
      "fields": [
        {
          "name": "start",
          "type": "Point",
          "tag": 1,
          "map": null,
          "oneof": "",
          "required": true,
          "repeated": false,
          "deprecated": false,
          "packed": false,
          "optional": false,
          "options": {}
        },
        {
          "name": "end",
          "type": "Point",
          "tag": 2,
          "map": null,
          "oneof": "",
          "required": true,
          "repeated": false,
          "deprecated": false,
          "packed": false,
          "optional": false,
          "options": {}
        },
        {
          "name": "label",
          "type": "string",
          "tag": 3,
          "map": null,
          "oneof": "",
          "required": false,
          "repeated": false,
          "deprecated": false,
          "packed": false,
          "optional": true,
          "options": {}
        }
      ],
      "extensions": null,
      "options": {}
    }
  ],
  "extends": [],
  "services": [],
  "optimize_for": "AUTO",
  "options": {}
}