From 141dd552ea72961259bd5f0c54aa8109f6628187 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Joan=20Vallv=C3=A9=20Navarro?= <jvallve@iri.upc.edu> Date: Tue, 6 Sep 2022 12:33:36 +0200 Subject: [PATCH] added optional "filename" in map schema --- schema/map/MapBase.schema | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/schema/map/MapBase.schema b/schema/map/MapBase.schema index cee32713d..9fb4b5719 100644 --- a/schema/map/MapBase.schema +++ b/schema/map/MapBase.schema @@ -7,4 +7,8 @@ plugin: _mandatory: false _type: string _default: core - _doc: Name of the wolf plugin where the map type is implemented. \ No newline at end of file + _doc: Name of the wolf plugin where the map type is implemented. +filename: + _mandatory: false + _type: string + _doc: Optional. Absolute path of the YAML file containing the landmarks. \ No newline at end of file -- GitLab