diff src/server/html_tools.py @ 507:b7988fdd4329

reverted commit 7d37bb042042 which is actualy useless
author Goffi <goffi@goffi.org>
date Wed, 20 Aug 2014 23:04:15 +0200
parents 1a0cec9b0f1e
children c8cca1a373dd
line wrap: on
line diff