diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-07-14 23:51:44 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-07-14 23:51:44 -0700 |
commit | 09bebcb1de0fea76be8653bed427712fb615a610 (patch) | |
tree | 617c4dc109fd071915b5e1d6ce8a09ec30c9ec58 /.gitignore | |
parent | eb2fe43c5b0bdf11d8b526441b777fb456f108e2 (diff) |
Added clang-check target.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions