diff sat_frontends/jp/cmd_input.py @ 3075:501a1a3c8594

plugin text syntaxes: don't use anymore deprecated cgi.escape
author Goffi <goffi@goffi.org>
date Mon, 18 Nov 2019 20:50:34 +0100
parents fee60f17ebac
children 9d0df638c8b4
line wrap: on
line diff