tools/sizes.py: Change Unicode box-drawing chars to that of double version#8573

mcspr merged 2 commits intoesp8266:masteresp8266/Arduino:masterfrom

jjsuwa-sys3175:double-box-drawing-charsjjsuwa-sys3175/Arduino:double-box-drawing-charsCopy head branch name to clipboard