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

Summary

11 show Total 
4 show  , → , SPACE + COMMA → COMMA
4 show ,, → , COMMA + COMMA → COMMA
3 show , → ,  COMMA → COMMA + SPACE

All 11 diff lines