diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-12-25 16:53:51 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-12-25 16:53:51 -0700 |
| commit | 7cc788cf8457a311733e97050de14b8aed3aa7ad (patch) | |
| tree | 306d8a3b8350a2f07e150b2a9e336bedc84709dd /.gitignore | |
| parent | 2455209cb0051f562bb8d9525951ac902320afeb (diff) | |
Linkified "whitespace" in spec.
Closes #108.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions