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>
Mon, 30 Dec 2019 13:15:49 +0000 (13:15 +0000)
commit580421fd1446f4e82da98683a5a14223ada07387
treef48bcec5a4ce5ea77233a0a22b0d305e4bba7c39
parentc0dde1c654b7aa630370fea76190050e007de1c8
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