chiark / gitweb /
minor docs change
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 13 Nov 2019 17:56:08 +0000 (17:56 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 13 Nov 2019 17:56:08 +0000 (17:56 +0000)
commit96ef3343f7effb47f94e60309198c57f9e2b228b
treeaf80ca626f07619de09784fbab3c9818a98f0ec4
parent3452ae1eb73cdb736765fd0d60e225ec2179c237
minor docs change

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
subdirmk/generate