diff src/browser/public/libervia.html @ 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 981ed669d3b3
children 03e9fe91081c
line wrap: on
line diff