diff ChangeLog @ 88013:b0c61850537b

*** empty log message ***
author Glenn Morris <rgm@gnu.org>
date Sat, 26 Jan 2008 21:05:58 +0000
parents a0f010afb29f
children 4794ef0780fc
line wrap: on
line diff
--- a/ChangeLog	Sat Jan 26 21:05:53 2008 +0000
+++ b/ChangeLog	Sat Jan 26 21:05:58 2008 +0000
@@ -1,6 +1,7 @@
 2008-01-26  Glenn Morris  <rgm@gnu.org>
 
 	* configure.in (--without-gcc): By default, neither off nor on.
+	(--with-carbon): Tone down rhetoric in help text.
 
 2008-01-25  Glenn Morris  <rgm@gnu.org>