Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
v.util: make diff_test.v more robust to the color settings for the ch…
…osen local diff tool
- Loading branch information