diff options
| author | Prashanth Mundkur | 2018-04-09 18:07:18 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-04-09 18:07:18 -0700 |
| commit | 1692e6757aa4311a2389aefdf9cac34d4ca5a1d6 (patch) | |
| tree | bc606090bf24c3a87273f70039310405d9ed7c2d /src/initial_check.mli | |
| parent | d26fa2733a7e3bdb5bdfe711e5ab1f21bb0ca75f (diff) | |
Update riscv to use the new system definitions, remove duplicates.
Diffstat (limited to 'src/initial_check.mli')
0 files changed, 0 insertions, 0 deletions