log

age author description
Tue, 17 Jun 2008 11:40:04 +0000 diego Add copyright and license statement.
Tue, 17 Jun 2008 11:13:36 +0000 diego It cannot hurt to add -E to the diff options to avoid whitespace changes.
Tue, 17 Jun 2008 09:09:36 +0000 diego Add missing #includes that are required for things used in the header.
Tue, 17 Jun 2008 08:58:26 +0000 gpoirier sync w/r27057
Tue, 17 Jun 2008 08:44:03 +0000 diego Add missing #includes to fix 'make checkheaders'.
Mon, 16 Jun 2008 18:42:58 +0000 reimar Try harder to honour CTRL+C etc. during dumpstream
Mon, 16 Jun 2008 17:33:55 +0000 diego cosmetics: Remove useless parentheses, align.