indentation

bgruening · Mar 27, 2024 · b985ba7 · b985ba7
1 parent 288f8be
commit b985ba7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/text_processing/text_processing/grep.xml b/tools/text_processing/text_processing/grep.xml
@@ -26,7 +26,7 @@
                 -- '${url_paste}'
                 '${infile}' | '$__tool_directory__/ansi2html.sh' > '${output}'
         #else:
-                grep
+            grep
                 $regex_type
                 -A $lines_after
                 -B $lines_before