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, 7 Dec 2019 17:08:51 +0000 (17:08 +0000)
commitd46015d1b8e0d5236ba9598fcc61ebb2c0d3ddb1
tree9b5a46bbddfca4794453a5d68c1cfac1e3062a35
parentcff114fd2e4921adaba4da650d1d6311bb65a31d
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