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