Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix: Correct fontification of var names with '(un)signed' keyword
Partially fix for veripool#1752.
- Loading branch information