diff options
| author | Nathaniel Graff <nathaniel.graff@sifive.com> | 2019-01-25 00:16:16 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-25 00:16:16 +0000 |
| commit | 39d372724889e2eeed9c2d28c7996d21e87eb48d (patch) | |
| tree | 8a35e62a574e6c1285f5329715ccc18637c1e568 /.github | |
| parent | 19c4e3368a0fd24c031c601fd37de36c7d3bb72f (diff) | |
| parent | 0c3d23da9dc46b775cd41392b3de87754dfe0552 (diff) | |
Merge pull request #158 from sifive/fix-openocd
Put back OpenOCD into the top-level Makefile
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions