diff src/gui/pages/search.cc @ 358:53c92e8968d5

CI: cleanup; remove source URL
author Paper <paper@paper.us.eu.org>
date Mon, 15 Jul 2024 01:01:52 -0400
parents b5d6c27c308f
children 8d45d892be88
line wrap: on
line diff