]> git.openstreetmap.org Git - chef.git/commitdiff
Merge pull request #364 from osm-hr/html-torrents
authorGrant <git@firefishy.com>
Thu, 3 Dec 2020 08:38:19 +0000 (08:38 +0000)
committerGitHub <noreply@github.com>
Thu, 3 Dec 2020 08:38:19 +0000 (08:38 +0000)
Mention .torrent files too in header (instead of only mirrors)


Trivial merge