patch applied (hugs98): comments only: change GreenCard to FFI

Fri Apr 6 03:49:59 PDT 2007 Ross Paterson * comments only: change GreenCard to FFI M ./src/bcc32/options.h -1 +1 M ./src/builtin.c -2 +2 M ./src/djgpp2/options.h -1 +1 M ./src/dotnet/options.h -1 +1 M ./src/epoc/options.h -1 +1 M ./src/machugs/options.h -1 +1 M ./src/msc/options.h -1 +1 M ./src/options.h.in -1 +1 M ./src/winhugs/options.h -1 +1