diff configure.in @ 82715:04622a302061

Move tutorials from etc/ to etc/tutorials/
author Glenn Morris <rgm@gnu.org>
date Wed, 22 Aug 2007 07:40:26 +0000
parents e0dc64260fb5
children 18556eea77d8
line wrap: on
line diff