diff page-search.c @ 34:222d013399cf

misc: remove deprecated noreturn
author David Demelier <markand@malikania.fr>
date Wed, 29 Jun 2022 20:45:10 +0200
parents c1179455fc89
children 3e01d0147294
line wrap: on
line diff