Bruce Momjian writes:
> I don't think 'win' is unique enough. Win32 seems the more official
> designation.
We've lived with a "win" port for years and no one complained about that.
And what will happen when "win64" comes around? The official designation
is Windows anyway.
> Well, we don't have any other port directories under /include/port,
Hmm, there used to be some. Maybe they aren't needed anymore.
--
Peter Eisentraut peter_e(at)gmx(dot)net