diff .hgtags @ 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 a58b0f1fae42
children 5a3d7a73c3d2
line wrap: on
line diff