Use new read_directive helper in read_directive_file
authorJacob Bachmeyer <jcb@gnu.org>
Sun, 16 Oct 2022 04:32:40 +0000 (23:32 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Sun, 16 Oct 2022 04:32:40 +0000 (23:32 -0500)
commit71d44dc43a1af24b7a0df0479161edfe5ee01d59
tree68ba33590108dd71d81b5dffb65ddcca487ecfa1
parent1aa226ef17d8f5217c9daec29f6663298aaf3201
Use new read_directive helper in read_directive_file
gatekeeper.pl