diff make/templates/gpl-header @ 4195:7703a9f4769f

Removed inlining decisions from CRI.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 03 Jan 2012 15:34:46 +0100
parents b2045e0af26e
children
line wrap: on
line diff