comparison src/server/html_tools.py @ 474:6700386291f1

server side: fix unicodes issues in options
author Goffi <goffi@goffi.org>
date Thu, 12 Jun 2014 16:27:10 +0200
parents 1a0cec9b0f1e
children c8cca1a373dd
comparison
equal deleted inserted replaced
473:d1565906f228 474:6700386291f1