make-config-h.sh: check for stdint.h header
[girocco.git] / docs / .gitignore
blob2d19fc766d98a08d9d1437896bfb008a7b15f340
1 *.html