annotate sat/plugins/__init__.py @ 3456:6deea0d8d0e7

plugin tickets, merge_requests: renamed "tickets" feature to "lists": this feature is more generic than only "tickets" for technical stuff, thus the name "lists" seems more appropriate.
author Goffi <goffi@goffi.org>
date Thu, 04 Feb 2021 21:05:21 +0100
parents f7deb1c36b47
children 11003f9f92fb
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1460
c7fd121a6180 core: getProfileName no raise ProfileUnknownError + minor doc fixes
Goffi <goffi@goffi.org>
parents: 1285
diff changeset
1 # XXX: the Monkey Patch is here and not in src/__init__ to avoir issues with pyjamas compilation
2778
f7deb1c36b47 core, XEP-0315: move XML element handling to sat_tmp:
Goffi <goffi@goffi.org>
parents: 2624
diff changeset
2 # TODO: remove this when changes are merged in Wokkel
f7deb1c36b47 core, XEP-0315: move XML element handling to sat_tmp:
Goffi <goffi@goffi.org>
parents: 2624
diff changeset
3 from sat_tmp.wokkel import install
f7deb1c36b47 core, XEP-0315: move XML element handling to sat_tmp:
Goffi <goffi@goffi.org>
parents: 2624
diff changeset
4 install()