Small change to the directory name in which the RISC-V port is stored.

This commit is contained in:
Richard Barry 2018-06-20 21:15:04 +00:00
parent 3d8d2f3cc8
commit 483f4a8c4b
3 changed files with 0 additions and 0 deletions