From b1389e08c0fa3b8adcfc94ef00f76a3196ed5e86 Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Tue, 23 Jun 2026 17:40:49 +0200 Subject: [PATCH] fix(latexindent): add missing repeat as indent --- linters/indentconfig.yaml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/linters/indentconfig.yaml b/linters/indentconfig.yaml index 9aac033..c8b8a45 100644 --- a/linters/indentconfig.yaml +++ b/linters/indentconfig.yaml @@ -79,4 +79,8 @@ specialBeginEnd: begin: '\\While' end: '\\EndWhile' lookForThis: 1 + Repeat: + begin: '\\Repeat' + end: '\\Until' + lookForThis: 1 specialBeforeCommand: 1