diff options
| author | Hendrik Tews | 2021-03-28 23:19:35 +0200 |
|---|---|---|
| committer | Hendrik Tews | 2021-03-28 23:19:35 +0200 |
| commit | 03fcea3ffd9dc640bb2bbc9be8074beb05e1a7f1 (patch) | |
| tree | 7d7f8b8cbcb6e6104e8b0d0a8869198efe5a8dd2 /tactics | |
| parent | e414d25f120696dbd1956b230801d22810746f58 (diff) | |
[coqdep] remove leftover Caml stuff from man page
Dependencies for Caml files was removed in PR #11589, but some
parts of it survived in the man page.
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions