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

Summary

8 show Total 
7 show ,, → , COMMA + COMMA → COMMA
1 show ,,, → , COMMA + COMMA + COMMA → COMMA

All 8 diff lines