fix CI, fix heading and add comment requested at today's editor's call
[CppCoreGuidelines.git] / scripts / 
tree63a42eacd4b71206796eee1ec2914a968eb2cfd8
drwxr-xr-x   ..
-rw-r--r-- 5426 Makefile
drwxr-xr-x - hunspell
drwxr-xr-x - nodejs
drwxr-xr-x - python