diff CHANGELOG @ 435:f7b25375c0cf

GCCARGS configure option
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Oct 2008 15:05:16 -0400
parents c471345f5165
children 3f1b9231a37b
line wrap: on
line diff
--- a/CHANGELOG	Mon Oct 27 08:27:45 2008 -0400
+++ b/CHANGELOG	Tue Oct 28 15:05:16 2008 -0400
@@ -1,3 +1,9 @@
+========
+20081028
+========
+
+- Add GCCARGS configure option
+
 ========
 20081027
 ========