diff --git a/ChangeLog b/ChangeLog index 6b09842b5..ee1bb021d 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2008-01-06 Peter Landgren + * src/plugins/Verify.py: Removed unneccesary + print statement "print event.get_type()" + 2008-01-06 Benny Malengier Raphael Ackermann * src/docgen/LaTeXDoc.py: wrong indent on write, bug #1506