Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rename ffvelrn to ffvelcdm in iset.mm (#4494)
This is to match set.mm naming. This is a search and replace followed by running scripts/rewrap Also rename one reference in mmil.html .
- Loading branch information