projects / gatekeeper.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b42725e) | patch
Add infrastructure to support logging current processing phase
authorJacob Bachmeyer <jcb@gnu.org>
Tue, 1 Nov 2022 03:50:26 +0000 (22:50 -0500)
committerJacob Bachmeyer <jcb@gnu.org>
Tue, 1 Nov 2022 03:50:26 +0000 (22:50 -0500)
commita65f68812fb2517874e827569c0a3db2137355a8
treec4330ce8b57bf3f7bf326d9deae29a1f8d02072atree | snapshot (zip tar.gz)
parentb42725e17d340a397e3769e5246a66e5af7e4560commit | diff
Add infrastructure to support logging current processing phase

This also collects the definition of $Log_Style to the Logging group in
preparation for future documentation improvements.
gatekeeper.pl diff | blob | blame | history