Changes   orig/bki-bki.txt → wb-plus/bki-bki.txt    February 24, 2023 at 23:17    Script wb_pprint_html.py   by Ulf Hermjakob

Summary

5 show Total 
5 show ṽ → ṽ LATIN SMALL LETTER V + COMBINING TILDE → LATIN SMALL LETTER V WITH TILDE

All 4 diff lines