annotate src/tools/__init__.py @ 819:9e3641ea648f

core: fixed UnknownGroupError exception in getJidsFromGroup
author Goffi <goffi@goffi.org>
date Thu, 13 Feb 2014 18:50:41 +0100
parents 9c6ee3f9ab29
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source