diff options
| author | Eduardo Julian | 2016-01-17 14:04:44 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2016-01-17 14:04:44 -0400 |
| commit | 89169382b9ade7d4692315ce02d5fbb747965d0d (patch) | |
| tree | 664a134b73055062079b5c295c04dcd5da8bdf6c /.gitignore | |
| parent | c9bc2d1721cc44b74c5f36f9409790762a2ec73d (diff) | |
- Made an optimization to variants/sums, by encoding the last/tail flag as a pointer (with null as false, and everything else as true).
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions