diff INSTALL @ 1236:352e189ab7f8

server: avoid double init
author Goffi <goffi@goffi.org>
date Fri, 10 Jan 2020 10:26:59 +0100
parents 1028a9c366d3
children 0d517b596568
line wrap: on
line diff