diff src/server/html_tools.py @ 674:690a8a80a0ad frontends_multi_profiles

browser_side: added __len__ method in OrderedDict
author Goffi <goffi@goffi.org>
date Tue, 17 Mar 2015 20:26:31 +0100
parents 1a0cec9b0f1e
children c8cca1a373dd
line wrap: on
line diff