diff extension/css/search.css @ 39:42db405b3d93 default tip

Bump to v0.2.24.
author Paul Fisher <paul@pfish.zone>
date Thu, 16 Oct 2025 23:18:09 -0400
parents a378704bdf9e
children
line wrap: on
line diff