diff make/defs.make @ 3734:b55f2b8f83fd

Remove deprecated files.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sat, 17 Dec 2011 20:34:58 +0100
parents b76d12f4ab2d
children f08d439fab8c
line wrap: on
line diff