diff TOOLS/Makefile @ 17147:ede872cdaaba

Remove some inactive maintainers.
author diego
date Fri, 09 Dec 2005 10:22:41 +0000
parents 91d141ec88bb
children d763ba702406
line wrap: on
line diff