index.md): remove obsolete recommendation to use lean-3.7.2 branch (#2206)

Commit

6 years ago

doc(docs/contribute/index.md): remove obsolete recommendation to use lean-3.7.2 branch (#2206)

Author

gebner

Parents