]> git.ipfire.org Git - thirdparty/jinja.git/commitdiff
Merge pull request #1574 from adamchainz/docs_html
authorDavid Lord <davidism@gmail.com>
Wed, 26 Jan 2022 16:23:40 +0000 (08:23 -0800)
committerGitHub <noreply@github.com>
Wed, 26 Jan 2022 16:23:40 +0000 (08:23 -0800)
Update legacy doctype in docs/tricks


Trivial merge