diff options
| author | Megan Wachs <megan@sifive.com> | 2017-10-06 10:19:26 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-06 10:19:26 -0700 |
| commit | b53187a0434fe5e8dce288f55cfca36b292552e4 (patch) | |
| tree | 8d87e93c6480a30fcd9b71dba6406b50c8eb7b2e /.gitignore | |
| parent | f584c01fafd402e004682c160fd66e8b78a5c496 (diff) | |
| parent | 6053960215538a7eda160d9d5dda0a61e62b39f3 (diff) | |
Merge pull request #67 from dgrubb/Makefile-tweaks
Update Makefile with more user-friendly clean options
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions