diff options
author | Ian Hinder <ian.hinder@aei.mpg.de> | 2012-07-25 17:17:54 +0200 |
---|---|---|
committer | Ian Hinder <ian.hinder@aei.mpg.de> | 2012-07-25 17:17:54 +0200 |
commit | 676f56c7e9e3c34b8b9532dfcf47448dfdbfe49f (patch) | |
tree | eb4999a89b85afab2da5720ec4ac1f08438f55aa /Auxiliary | |
parent | 7db43a19ced43c67a0be1d7affd1fcb8a97489fb (diff) |
CaKernel.m: Use CaKernel static kernels
Dynamic compilation slows down execution; we can re-enable it when we are optimising.
Diffstat (limited to 'Auxiliary')
0 files changed, 0 insertions, 0 deletions