Vovanium 378ed7084e * script		2023-12-27 02:10:37 +03:00
..
check-coverage.awk	* script	2023-12-27 02:10:37 +03:00
check-metrics.awk	adjusting widths	2023-02-02 02:54:17 +03:00
check-missing.awk	+ useful symbols in mono	2023-03-23 01:45:01 +03:00
make-accent-table.awk	+ script to check accented letters	2023-04-10 01:28:50 +03:00
make-equivalents.awk	* equivalents	2023-10-28 21:32:06 +03:00
update-chars.sh	+ equivalent characters tool and some tweaks	2023-10-07 22:14:39 +03:00