comparison TOOLS/README @ 28885:e375263bd10b

Ensure the string we're trying to compare is actually not NULL.
author ben
date Mon, 09 Mar 2009 20:31:03 +0000
parents 5eb2761da33f
children bdf8e23db3f6
comparison
equal deleted inserted replaced
28884:304ee75ca7ae 28885:e375263bd10b