Convert section heading comments to POD section headings
authorJacob Bachmeyer <jcb@gnu.org>
Fri, 18 Nov 2022 03:09:00 +0000 (21:09 -0600)
committerJacob Bachmeyer <jcb@gnu.org>
Fri, 18 Nov 2022 03:09:00 +0000 (21:09 -0600)
commitaaf4fc9e1c8af07adee0c40df2abf80da5430e33
tree6c66510f4b64a3f50c4c498e7d3c6f66bc6e3c1a
parentd5ffe876a695f775664c2fc63df95e7444f916b0
Convert section heading comments to POD section headings

This commit also removes some leftover comments.
gatekeeper.pl