diff frontends/src/quick_frontend/quick_list_manager.py @ 2486:031aa3cc67ac

jp (base): fixed assertion error when using CommandAnswering
author Goffi <goffi@goffi.org>
date Tue, 30 Jan 2018 08:43:52 +0100
parents 2daf7b4c6756
children
line wrap: on
line diff