0bef53bd11 · Merge next: make build and make cover targets (closes #19, closes #17) · Updated 2026-08-10 15:58:35 +02:00
e3ab4aba8b · build: add a make cover target for per-function coverage (closes #17) · Updated 2026-08-10 15:48:58 +02:00 clawbot
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
