diff options
| author | Nathaniel Graff <nathaniel.graff@sifive.com> | 2019-02-05 17:22:44 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-05 17:22:44 +0000 |
| commit | 4c20f5158e506f3c13cf66d5259a6399a6b4b2a3 (patch) | |
| tree | 266e712fcfd3fd45d98fff92e1f3d6ca8935599a /doc/Makefile | |
| parent | d9a6c0abd5e98697aae8273342961895512890bf (diff) | |
| parent | 934c94798e4897c84a412ad96603691b5129e0ff (diff) | |
Merge pull request #167 from sifive/rename-metal
Rename everything to metal
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions