diff AUTHORS.md @ 19439:5be35dd0a9dd

Disable use of profiling information during partial evaluation.
author Thomas Wuerthinger <thomas.wuerthinger@oracle.com>
date Tue, 17 Feb 2015 00:22:26 +0100
parents 2bbe4ecff88c
children
line wrap: on
line diff