- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for addErr (0.04 sec)
-
scripts/docs.py
if lang is None: lang = "en" lang_path: Path = docs_path / lang # Enable line numbers during local development to make it easier to highlight args = ["mkdocs", "serve", "--dev-addr", "127.0.0.1:8008"] if dirty: args.append("--dirty") subprocess.run( args, env={**os.environ, "LINENUMS": "true"}, cwd=lang_path, check=True )Registered: Sun Dec 28 07:19:09 UTC 2025 - Last Modified: Sun Dec 21 17:40:17 UTC 2025 - 16.9K bytes - Viewed (0)