diff sat_frontends/jp/arg_tools.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 ab2696e34d29
children 9d0df638c8b4
line wrap: on
line diff