]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #3218 from bdarnell/readthedocs-config
authorBen Darnell <ben@bendarnell.com>
Fri, 20 Jan 2023 19:26:57 +0000 (14:26 -0500)
committerGitHub <noreply@github.com>
Fri, 20 Jan 2023 19:26:57 +0000 (14:26 -0500)
docs: Add config file for readthedocs


Trivial merge