make-config-h.sh: check for stdint.h header
[girocco.git] / docs / 
tree1d7dbbafeec2ccfa2cea937afe8018ad269aa958
drwxr-xr-x   ..
-rw-r--r-- 7 .gitignore
-rw-r--r-- 1009 Makefile
drwxr-xr-x - technical