diff extension/css/search.css @ 41:caa2d5a9e94f default tip

Bump version to v0.2.25.
author Paul Fisher <paul@pfish.zone>
date Mon, 20 Oct 2025 23:03:56 -0400
parents a378704bdf9e
children
line wrap: on
line diff