diff configure @ 8717:2df4e9d9922d

add overlapping to preferences
author pontscho
date Thu, 02 Jan 2003 14:41:40 +0000
parents 30bb40f02e1e
children 9032b2e79480
line wrap: on
line diff