annotate doc/_ext/__init__.py @ 3930:0a6d4168968a

plugin lists: fix double deserialisation
author Goffi <goffi@goffi.org>
date Thu, 06 Oct 2022 17:50:54 +0200
parents 62e81b1058f8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source