diff --git a/tools/metabuli/metabuli.xml b/tools/metabuli/metabuli.xml index b7ec56aad85..630733ac69a 100644 --- a/tools/metabuli/metabuli.xml +++ b/tools/metabuli/metabuli.xml @@ -5,6 +5,9 @@ macros.xml + + metabuli +