>>>>> "Robert" == Robert Collins writes:

    Robert> FWIW it's a valid setup.ini key. And has been for quite some time.

That was my understanding after the discussion with Charles.
But I still don't know what it's doing when present.

    Robert> Rob

Ciao
  Volker

Reply via email to