diff doc/_ext/docstring.py @ 4050:199473ffe4ea

frontends (tools/jid): remove old pyjamas code + type hints
author Goffi <goffi@goffi.org>
date Mon, 15 May 2023 17:19:54 +0200
parents 62e81b1058f8
children
line wrap: on
line diff