Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge branch 'update-about-dialog-url' into 'jumping'
Resolve "Update URL in About dialog to Github mirror" Closes mortbopet#7 See merge request tfg-riscv-sim/ripes!9
- Loading branch information