diff etc/NEWS @ 87731:540397b43fb9

Remove some symbols that are not used anymore.
author Dan Nicolaescu <dann@ics.uci.edu>
date Sun, 13 Jan 2008 00:46:16 +0000
parents 5d38dcdc3044
children 00321492f35d
line wrap: on
line diff