diff options
| author | Erik Martin-Dorel | 2020-01-17 16:14:38 +0100 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-01-17 16:14:38 +0100 |
| commit | a7f4eb76935157112aa844b6c5ac29a36898235f (patch) | |
| tree | 9bc84816f0dafed1bcdfad09dfc805d2f869d170 /mathcomp/basic/binomial.v | |
| parent | 2646a263ba499f50ad09816ef76bea683517da26 (diff) | |
Revert "Don't run "opam clean -c" to workaround ocaml/opam#3828"
This reverts commit a03e0cb0ff40afabcaccba7f764076355ca82962.
Diffstat (limited to 'mathcomp/basic/binomial.v')
0 files changed, 0 insertions, 0 deletions