Closed
Description
The file library/core/src/unicode/unicode_data.rs
says
///! This file is generated by src/tools/unicode-table-generator; do not edit manually!
However, it doesn't say how to run that tool. The "obvious" ./x.py run src/tools/unicode-table-generator
does not work. I didn't find anything in the dev guide either.
So I now edited the file by hand instead 🤷 but that can't be the goal of this.^^