diff styles.css @ 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 7975d7c73f8a
children 18ff216ce0c4
line wrap: on
line diff