diff options
| author | Prashanth Mundkur | 2018-07-10 16:27:03 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-07-10 17:02:37 -0700 |
| commit | a480edc06d0a803c7ec133fe462005155d163bf7 (patch) | |
| tree | b11fbd7ad7fe4ae8035aadf37ff00031ec584fa0 /mips/_CoqProject | |
| parent | 585c1b81c8e6efd3d7a84f317e1f3e18b84cbe89 (diff) | |
Add an option to specify the dtc to use for the riscv platform.
Diffstat (limited to 'mips/_CoqProject')
0 files changed, 0 insertions, 0 deletions