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

Summary

17 show Total 
11 show , → ,  COMMA → COMMA + SPACE
6 show  , → , SPACE + COMMA → COMMA

All 17 diff lines