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 /runtests.pl | |
parent | 24fcf709ecb39638792ea19499da7e52974d5a2c (diff) | |
parent | 7385f2893f32ee34f9716e6543f6580c31e45734 (diff) |
Merge pull request #182 from michaelsproul/cleanup
Update .gitignore and fix Makefile clean target.
Diffstat (limited to 'runtests.pl')
0 files changed, 0 insertions, 0 deletions