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

Summary

5 show Total 
5 show ,, → , COMMA + COMMA → COMMA

All 5 diff lines