diff man/search.texi @ 82714:fd7001383317

Move tutorials from etc/ to etc/tutorials/
author Glenn Morris <rgm@gnu.org>
date Wed, 22 Aug 2007 07:40:20 +0000
parents 1e02a80ad090
children 37a6ca546c99 e6fdae9180d4
line wrap: on
line diff