diff src/browser/sat_browser/richtext.py @ 733:66beef5b943d

browser_side: add functions JIDSet and JIDDict
author souliane <souliane@mailoo.org>
date Wed, 11 Nov 2015 11:49:32 +0100
parents 3b91225b457a
children fe3c2357a8c9
line wrap: on
line diff