35717a57a ^
e215d467c ^
1 2 3
4 5 6 7
8 9
#ifndef UTIL_LINUX_PAGER #define UTIL_LINUX_PAGER void pager_redirect(void); void pager_open(void); void pager_close(void); #endif