diff make/linux/makefiles/defs.make @ 12024:ce8969c36762

8022475: Remove unneeded ad-files Summary: Remove .ad files that are not used Reviewed-by: kvn
author adlertz
date Wed, 07 Aug 2013 18:04:42 +0200
parents f36e073d56a4
children faf0c78e906b
line wrap: on
line diff