diff configure @ 108956:4f510fa72be2

* make-dist: Remove references to non-existent directories and files.
author Glenn Morris <rgm@gnu.org>
date Wed, 09 Jun 2010 22:28:40 -0700
parents 3ff97bad1c47
children b5f73bf59a4f 68616bb3ae25
line wrap: on
line diff