diff frontends/src/quick_frontend/quick_list_manager.py @ 1759:81923b3f8b14

plugin XEP-0065: better handling of finished Deferred
author Goffi <goffi@goffi.org>
date Thu, 17 Dec 2015 22:38:00 +0100
parents 8b8b1af5905f
children d17772b0fe22
line wrap: on
line diff