Gerwin Klein c11f41c622 inject_backlink: make GNU sed compatible ... BSD sed allows a space after -i, GNU sed does not. Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>		2025-07-16 10:05:37 +10:00
..
Dockerfile	docker: don't download Microkit	2025-07-16 09:57:31 +10:00
gen_markdown_api_doc.py	markdown_api: fix page-top links	2025-07-16 09:57:29 +10:00
get_repos.py	trivial: run python style checker	2020-11-30 09:25:37 +11:00
inject_backlink.sh	inject_backlink: make GNU sed compatible	2025-07-16 10:05:37 +10:00
mk_tutorial_vars.sh	Fix license lints	2025-07-16 09:57:23 +10:00
process-mdbook.py	microkit tutorial: process variables	2025-07-16 09:57:11 +10:00
testWCAG.py	trivial: run python style checker	2020-11-30 09:25:37 +11:00