From f6cf3fc8a9446a0a591ad7e0e2d81101b42fc714 Mon Sep 17 00:00:00 2001 From: Rlibouban <127295521+rlibouba@users.noreply.github.com> Date: Mon, 18 Mar 2024 16:48:45 +0100 Subject: [PATCH] add bio.tools ans fix lint (#5886) --- tools/red/red.xml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/tools/red/red.xml b/tools/red/red.xml index 8873f82d083..4bd77755ae8 100644 --- a/tools/red/red.xml +++ b/tools/red/red.xml @@ -4,6 +4,9 @@ 2018.09.10 1 + + red + red @@ -23,8 +26,8 @@ Red - - + +