diff Sphinx/make.bat @ 391:4bc6bcd83ae5

hostfingerprints is not specific to Windows
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 21 Apr 2020 08:58:56 +0200
parents 901e8961f46e
children
line wrap: on
line diff