diff options
author | Tuomas Tynkkynen <tuomas@tuxera.com> | 2017-03-04T13·24+0200 |
---|---|---|
committer | Tuomas Tynkkynen <tuomas@tuxera.com> | 2018-02-17T14·54+0200 |
commit | 7e0360504d1a964ad5bd0da996045bc3868d0d7d (patch) | |
tree | c86de80ed19930296fc11ec09ae341965f31bcd7 /.github | |
parent | 0845cdf9443a6b304c1bcec304a462ae4995c744 (diff) |
libexpr: Optimize prim_derivationStrict by using more symbol comparisons
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions