Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for groupIds (0.03 sec)

  1. scripts/docs.py

    def remove_header_permalinks(content: str):
        lines: list[str] = []
        for line in content.split("\n"):
            match = header_with_permalink_pattern.match(line)
            if match:
                hashes, title, *_ = match.groups()
                line = f"{hashes} {title}"
            lines.append(line)
        return "\n".join(lines)
    
    
    def generate_readme_content() -> str:
        en_index = en_docs_path / "docs" / "index.md"
    Registered: Sun Dec 28 07:19:09 UTC 2025
    - Last Modified: Sun Dec 21 17:40:17 UTC 2025
    - 16.9K bytes
    - Viewed (0)
Back to top