tilmanns
committed
on 12 Apr 03
Small documentation clarification in util_ns_set_to_list and util_list_to_ns_set.