a12fd1bd31fc67c8d66c4945ce4cae983048da8b
-rw-r--r-- 3783 basic.h
drwxr-xr-x - basic
-rw-r--r-- 2763 file.h
drwxr-xr-x - file
-rw-r--r-- 2667 find.h
drwxr-xr-x - find
-rw-r--r-- 3713 index.h
drwxr-xr-x - index
-rw-r--r-- 486 platform.h
-rw-r--r-- 2374 sequence.h
drwxr-xr-x - sequence