Chris, This was deprecated a long, long time ago, there is no reason for its presence as far as I know. Brian O. On 9/27/06 12:57 PM, "Chris Fields" <cjfields at uiuc.edu> wrote: > officially removed from CVS HEAD (unless we are keeping this around for some > reason?).