water vs lava
tree16edcac885c18dc29c1e584c6e1a6d7aeea23fe0
-rw-r--r-- 1981 .clang-format
-rw-r--r-- 80 .gitattributes
-rw-r--r-- 584 .gitignore
-rw-r--r-- 395 .mailmap
drwxr-xr-x - DEVEL
-rw-r--r-- 18039 Files
-rw-r--r-- 7365 Porting
-rw-r--r-- 7750 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