fix #H4153 - killed by kicking something weird
treef20f0921077087644db558d469cdb31ab9ca194c
-rw-r--r-- 1981 .clang-format
-rw-r--r-- 80 .gitattributes
-rw-r--r-- 584 .gitignore
drwxr-xr-x - DEVEL
-rw-r--r-- 17969 Files
-rw-r--r-- 7365 Porting
-rw-r--r-- 7667 README
drwxr-xr-x - dat
drwxr-xr-x - doc
drwxr-xr-x - include
drwxr-xr-x - src
drwxr-xr-x - sys
drwxr-xr-x - util
drwxr-xr-x - win