annotate themes/__init__.py @ 1094:8a270f32de81

server (session): new "connected" property, which is True when a user is logged
author Goffi <goffi@goffi.org>
date Fri, 01 Jun 2018 13:04:51 +0200
parents 1a19ee7d8d8a
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source