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

Summary

4 show Total 
4 show ,, → , COMMA + COMMA → COMMA

All 4 diff lines