X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=config%2FChangeLog;h=362d2e6c3cfbe3c5c97a37675e3655ed5e59c951;hb=cb05567731adc7c890d3146102ff01068ba796dd;hp=12f1ea87666075bf728fac2b6d3632300f6814b2;hpb=4944c86a9318bc5b5578ab145a95c116ffd2c9fd;p=pspp-builds.git

diff --git a/config/ChangeLog b/config/ChangeLog
index 12f1ea87..362d2e6c 100644
--- a/config/ChangeLog
+++ b/config/ChangeLog
@@ -1,3 +1,13 @@
+Sat Feb 11 21:58:29 2006  Ben Pfaff  <blp@gnu.org>
+
+	* html-prologue: Don't use ${source-file}, which is no longer
+	supported.
+
+Tue Dec 30 22:37:04 2003  Ben Pfaff  <blp@gnu.org>
+
+	* devices: Add "squeeze=on top-margin=0 bottom-margin=0" to
+	raw-ascii to make test output more readable.
+
 Sun May 24 22:40:13 1998  Ben Pfaff  <blp@gnu.org>
 
 	* ps-prologue: Add %%DocumentMedia: comment.