diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2014-11-02 15:45:32 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2014-11-02 15:45:32 -0800 |
| commit | f4702fd1d57273b86d0510ce14c6db1a5372f4b4 (patch) | |
| tree | c3ded4fe9ee1439db2d53727c3b7cf466091b6e6 /man | |
| parent | 24fcf709ecb39638792ea19499da7e52974d5a2c (diff) | |
| parent | 7385f2893f32ee34f9716e6543f6580c31e45734 (diff) | |
Merge pull request #182 from michaelsproul/cleanup
Update .gitignore and fix Makefile clean target.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions