diff .hgtags @ 2362:64de2d6858b0

Documentation: Fix missing .png extension in \includegraphics Patch from the Debian package.
author Mikael Berthe <mikael@lilotux.net>
date Sun, 24 Oct 2021 18:22:01 +0200
parents 84c3606096a7
children
line wrap: on
line diff