chiark / gitweb /
otterlib: Rename a variable `p` (was `pc`)
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 11 Mar 2021 11:12:32 +0000 (11:12 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Thu, 11 Mar 2021 11:12:32 +0000 (11:12 +0000)
commit07e22c3f95c775b9546f56000745e8b000217a7c
tree2a769c412e5acac188e3995a18a978ff33407ce3
parente8419445953b64e210c64b5938013c7c56a43be1
otterlib: Rename a variable `p` (was `pc`)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/bin/otterlib.rs