mathlib3
0187cb57 - fix(scripts/deploy_docs.sh): cd before git log (#2264)

Commit
5 years ago
fix(scripts/deploy_docs.sh): cd before git log (#2264) * fix(scripts/deploy_docs.sh): cd before git log * Update scripts/deploy_docs.sh
Parents
Loading