mirror of
https://github.com/CoolProp/CoolProp.git
synced 2026-01-10 14:38:11 -05:00
1. Fetch full git history during checkout for accurate revision info 2. Set up git config earlier in the process 3. Call generate_headers.py explicitly to ensure gitrevision.h is generated 4. Remove duplicate git config