Gilles Peskine 753ad17a41
Merge pull request #6982 from aditya-deshpande-arm/check-files-characters
check_files.py: Allow specific Box Drawing characters to be used
2023-02-03 11:46:06 +01:00
..
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00
2023-01-11 14:50:10 +01:00