Lines Matching full:there
46 /* there is no RCS file either */
49 /* there is no user file */
62 /* there is a user file */
77 /* there is an RCS file, but it's dead */
106 * There is no user file, but there should be one; remove the
133 * There is an RCS file, so someone else must have checked
150 /* There is no user file (as it should be) */
157 * There is no RCS file; this is all-right, but it has been
190 /* The user file shouldn't be there */
192 error (0, 0, "%s should be removed and is still there",
202 /* There is no RCS file */
206 /* There is no user file, so just remove the entry */
251 * There is no user file, so note that it was lost and
258 bug, although there is one subtlety: that case also
260 a file. I'm not sure there is currently any way
328 /* There is no user file, so just get it */