chiark / gitweb /
docs: Fix an editing error in dev.md
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 4 May 2022 22:46:35 +0000 (23:46 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 4 May 2022 22:47:48 +0000 (23:47 +0100)
commita50db1b53f1b38a41c4805d569521d0f9aa8a0e9
tree07586bb1063d7f208bb06e981484bf592e308b83
parent9ef6d285c2734989b72b3e2eff1dc238cc3f95f5
docs: Fix an editing error in dev.md

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
docs/dev.md