From 92fe69f6002eb1ea1e1e0c2e7c925cbef69e5f71 Mon Sep 17 00:00:00 2001 From: stibipet Date: Thu, 7 Nov 2024 10:36:44 +0100 Subject: [PATCH] rename mission_name to mission_id --- msg/Body.msg | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/msg/Body.msg b/msg/Body.msg index 467dab8..74b5bfd 100644 --- a/msg/Body.msg +++ b/msg/Body.msg @@ -1,2 +1,2 @@ string id -string mission_name +string mission_id