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

Summary

39 show Total 
39 show  , → , SPACE + COMMA → COMMA

All 37 diff lines