log include/gui/pages/search.h @ 377:1b0b8e746d83 default tip

age author description
Thu, 18 Apr 2024 16:53:17 -0400 Paper *: various code safety changes