diff versions.json @ 11:6f7f35af6335

Better type information for the plugin data
author Ludovic Chabant <ludovic@chabant.com>
date Mon, 28 Feb 2022 22:10:14 -0800
parents d2741019e3b9
children 131ae934ea07
line wrap: on
line diff