comparison make/linux/build.sh @ 3734:b55f2b8f83fd

Remove deprecated files.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Sat, 17 Dec 2011 20:34:58 +0100
parents c18cbe5936b8
children 075ea0ed9e7c
comparison
equal deleted inserted replaced
3733:e233f5660da4 3734:b55f2b8f83fd