Diff

.hgignore @ 13251:7748dfb201de

core.portmanager: Hint at HTTP servers for conflicts over port 443 Since 443 is just as much a web port as port 80 these days, if not more. What's with port 81 here?
author Kim Alvefur <zash@zash.se>
date Sat, 29 Jul 2023 02:00:55 +0200
parent 8345:850c433eb862
line wrap: on
line diff