comparison make-dist @ 108707:cd7f61e133d6

* configure.in (--with-gtk, --with-gcc): Remove option stubs.
author Glenn Morris <rgm@gnu.org>
date Wed, 19 May 2010 22:48:16 -0700
parents 7303923cef22
children 12c5e713faa1
comparison
equal deleted inserted replaced
108706:5b8a376c2125 108707:cd7f61e133d6