Function hmenu_doextversion

src/pager.c:2789–2793

}

staticfn void
hmenu_doextversion(void)
{
    (void) doextversion();
}

staticfn void
hmenu_dohistory(void)