diff ChangeLog @ 98613:38e69a51ceaf

(command-line): Revert 2008-09-26 change, not necessary anymore.
author Dan Nicolaescu <dann@ics.uci.edu>
date Sat, 11 Oct 2008 12:56:26 +0000
parents 29005e3eddab
children 015e43fe3098
line wrap: on
line diff