diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-21 09:28:01 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-21 09:32:44 -0800 |
| commit | 625c93769b81938781ba19450b15debd4ef7e396 (patch) | |
| tree | 347797c80723edc8df380dfe5b721eea82576cb8 /tools | |
| parent | 6e201b744581bb080dad8dfe40247f73688ede2d (diff) | |
Removed unnecessary check.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions