diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-14 22:10:33 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-14 22:10:33 -0800 |
| commit | 16d7d3df1cbf0880416d2eaa610d72bb06f5da56 (patch) | |
| tree | 16b4690050eda153bd2449a2fab435801993f86f /.gitignore | |
| parent | 39537f3f2a5969f607f5efc8b77668248adf38f3 (diff) | |
Slightly more efficient test for lazy continuation.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions