Update functions.py
All checks were successful
Publish Docker image / Push Docker image to Docker Hub (push) Successful in -4s

This commit is contained in:
2025-09-26 01:10:07 +02:00
parent 5892ebd05e
commit 8467b4ed53

View File

@@ -2,7 +2,6 @@
import re
import codecs
from typing import Literal
import pdfplumber
@@ -63,9 +62,7 @@ def convert_text(text: str, format_indents: bool = True):
return "\n".join(changed_lines).strip()
def match_and_replace(
line: str, format_indents: bool = True, as_indent: bool = False
) -> str | Literal[True]:
def match_and_replace(line: str, format_indents: bool = True):
if re.search(":$", line) is not None:
return True
if format_indents: