diff Makefile @ 10393:122564a2df38

-overlapsub clarified (thanks, Rich), -nooverlapsub removed (redundant)
author diego
date Mon, 07 Jul 2003 23:02:25 +0000
parents 4a9d046c94f2
children 866731645e1f
line wrap: on
line diff