diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-09-01 11:54:32 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-09-01 11:54:51 -0700 |
| commit | 38686fc2122ad5d3716ac9740fc6e4383179d2a7 (patch) | |
| tree | 783797528c951640c9849af0a327a018d8da231a /.gitignore | |
| parent | 4bc4bf4695634dba18bb2eaa8c9c63a64d04558d (diff) | |
Spec: Fixed example in section 5.2.1.
Closes #8.
Thanks, @balpha, for catching these problems.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions