diff configure @ 76688:f071ad404b30

(merge_properties, intervals_equal): Use Fplist_member instead of Fmemq to find properties.
author Kim F. Storm <storm@cua.dk>
date Fri, 23 Mar 2007 15:42:48 +0000
parents fc7b35f4707e
children 476a6af9dfd5
line wrap: on
line diff