From 45cc0b1675a0cf00376b818accdad0efc85609c2 Mon Sep 17 00:00:00 2001 From: Xavier-Do Date: Tue, 8 Feb 2022 12:42:36 +0100 Subject: [PATCH] [REF] runbot: remove useless names --- runbot/views/menus.xml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/runbot/views/menus.xml b/runbot/views/menus.xml index bf78e76b..1e87044b 100644 --- a/runbot/views/menus.xml +++ b/runbot/views/menus.xml @@ -2,7 +2,7 @@ - + @@ -25,10 +25,10 @@ - - - - + + + +