chiark / gitweb /
pubkeys: Provide ability to add extra action to KEYWORD
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Fri, 6 Dec 2019 23:51:52 +0000 (23:51 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 15 Feb 2020 21:56:49 +0000 (21:56 +0000)
commit47a24790846effa60185449c337e035adb857893
treed4dc1eadd4111552e84d9fc2285c5edc6f3e04be
parent20c35278822db437d832e47166c5936a93e891fd
pubkeys: Provide ability to add extra action to KEYWORD

Nothing uses this yet.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
pubkeys.fl.pl