diff src/server/html_tools.py @ 535:331cb6ea0235

browser side (plugin otr): C.MESS_TYPE_INFO is used instead of "headline" for informational message
author Goffi <goffi@goffi.org>
date Fri, 05 Sep 2014 19:29:35 +0200
parents 1a0cec9b0f1e
children c8cca1a373dd
line wrap: on
line diff