diff pygments_lexer_pseudocode2/utils.py @ 213:d470250f8451

Title/metadata of PDF documentation builds: - make the printet "normal" date also a revision date - print an extra line with creation date and the revision number
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 15 May 2026 05:15:59 +0200
parents ae5e741d2a9b
children 298841bc4dee
line wrap: on
line diff