diff options
| author | coqbot-app[bot] | 2021-03-29 15:00:11 +0000 |
|---|---|---|
| committer | GitHub | 2021-03-29 15:00:11 +0000 |
| commit | 642e8b769b05c7eea685a44aebd2475a928af6b1 (patch) | |
| tree | 7d7f8b8cbcb6e6104e8b0d0a8869198efe5a8dd2 /doc | |
| parent | e414d25f120696dbd1956b230801d22810746f58 (diff) | |
| parent | 03fcea3ffd9dc640bb2bbc9be8074beb05e1a7f1 (diff) | |
Merge PR #14025: [coqdep] remove leftover Caml stuff from man page
Reviewed-by: ejgallego
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions