Lines Matching full:options_from_user
677 int options_from_user __P((void)); /* Parse options from user's .ppprc */
