diff options
| author | Erik Martin-Dorel | 2019-04-16 15:40:50 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2019-04-16 15:41:16 +0200 |
| commit | a03e0cb0ff40afabcaccba7f764076355ca82962 (patch) | |
| tree | caebf525b93f064521a6430bfea1c78c13fa9719 /docs | |
| parent | 77ed8b94fd552e24de6b6824aab4996bf1731aa5 (diff) | |
Don't run "opam clean -c" to workaround ocaml/opam#3828
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions