projects / gatekeeper.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fc34f38) | patch
Eliminate directory_keyrings procedure
authorJacob Bachmeyer <jcb@gnu.org>
Tue, 8 Aug 2023 01:24:22 +0000 (20:24 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Tue, 8 Aug 2023 01:24:22 +0000 (20:24 -0500)
commit33b8db6023e54db5f56dd37bff6c58dfb681e49c
tree3b8f621922f245531aa346f71dfec68ca0c2c395tree | snapshot (zip tar.gz)
parentfc34f3835c30ed0b7a995c2fd8e41c422adcbdb6commit | diff
Eliminate directory_keyrings procedure

This was called in exactly one place, where it has been inlined.
gatekeeper.pl diff | blob | blame | history