diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2011-02-04 13:22:31 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2011-02-04 13:43:38 -0800 |
| commit | 70405ef98ab48e76e9cc8cdd827cb7580dacf4e6 (patch) | |
| tree | 98acdaa5c5e8e9d2d8b1f735b8daa62ffef16f53 /.gitignore | |
| parent | 8e81437fd1ad7e2fab200af722c86b2b265af818 (diff) | |
normalize: Normalize spaces too.
In normal form, Space elements only occur to separate two non-Space
elements. So, we never have [Space], or [, ..., Space].
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions