chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03308e9) | patch
Drop obsolete local-pod-man script, now replaced by make %.view
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 26 Aug 2018 14:36:32 +0000 (15:36 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 26 Aug 2018 14:56:07 +0000 (15:56 +0100)
commitf2f3963213c4dd1fbbdc4d07d6f3cad6d96f8b19
treea03dec8fe343c32e2e0751a034d023e01871caedtree | snapshot
parent03308e91aee7b29bbf68b44cb63da0bd03029d4ccommit | diff
Drop obsolete local-pod-man script, now replaced by make %.view

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
local-pod-man [deleted file] blob | history
Unnamed repository; edit this file 'description' to name the repository.