10 Apr
2006
10 Apr
'06
2:32 p.m.
Hi,
Hasn't there been introduced a new feature for "named" flags some time
ago? Like "setflag(my_flag)" or something like this? I think so, but
can't find anything about that anymore...
Thanks,
Andy