comparison =PROBLEMS @ 16433:63dc01de1823

(rlog_options): Look for ' option' rather than 'unknown option', since CVS says 'invalid option'.
author Paul Eggert <eggert@twinsun.com>
date Sat, 12 Oct 1996 17:24:45 +0000
parents 507f64624555
children
comparison
equal deleted inserted replaced
16432:6f58503776e5 16433:63dc01de1823