Repository navigation
v0.15.2
Added
DIARY_LINKED.md, a copy ofDIARY.mdwhere every line links to the
GitHub tree at the commit that wrote it, so each diary entry opens the repo as
it was at that point. Regenerate it withmake diary-links
(scripts/link_diary.py). The script usesgit blame -C -Cto follow lines
back through the diary's move out ofREADME.md; a plain blame would credit
most of the diary to that move.
Coverage
| Lines | Functions | Regions |
|---|---|---|
| 89.27% | 89.45% | 90.09% |
Doc tests excluded — --doctests requires nightly, and this repo pins stable.