comparison doc/lispref/searching.texi @ 112310:e838cdd68eae

Use gnulib's getopt-gnu module.
author Paul Eggert <eggert@cs.ucla.edu>
date Sat, 08 Jan 2011 23:29:26 -0800
parents 37b955157790
children 417b1e4d63cd
comparison
equal deleted inserted replaced
112309:4cf733e4915a 112310:e838cdd68eae