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

Summary

137 show Total 
127 show  , → , SPACE + COMMA → COMMA
6 show , → ,  COMMA → COMMA + SPACE
3 show ,, → , COMMA + COMMA → COMMA
1 show  , → ,  SPACE + COMMA → COMMA + SPACE

All 126 diff lines