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