mirror of
https://github.com/CoolProp/CoolProp.git
synced 2026-01-09 14:08:08 -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