diff .hgignore @ 1090:9c41b7e91172

server: set jid and started time in session on log-in: session make the difference between local libervia session ("started"), and backend session ("backend_started")
author Goffi <goffi@goffi.org>
date Fri, 01 Jun 2018 12:55:25 +0200
parents a5019e62c3e9
children a44f77559279
line wrap: on
line diff