- Sort Score
- Num 10 results
- Language All
Results 1 - 2 of 2 for remove_header_permalinks (0.09 seconds)
-
scripts/docs.py
{% endfor -%} {%- for sponsor in sponsors.silver -%} <a href="{{ sponsor.url }}" target="_blank" title="{{ sponsor.title }}"><img src="{{ sponsor.img }}"></a> {% endfor %} """ 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()Created: Sun Apr 05 07:19:11 GMT 2026 - Last Modified: Thu Mar 05 17:46:10 GMT 2026 - 25.4K bytes - Click Count (0) -
scripts/doc_parsing_utils.py
Created: Sun Apr 05 07:19:11 GMT 2026 - Last Modified: Thu Mar 19 17:37:41 GMT 2026 - 23.5K bytes - Click Count (0)