diff options
| author | coqbot-app[bot] | 2021-04-01 13:22:01 +0000 |
|---|---|---|
| committer | GitHub | 2021-04-01 13:22:01 +0000 |
| commit | 7db6dfcf8d4f1023b17ee4d73e22f79f73983162 (patch) | |
| tree | 4af0d89379a6a5e44f4e72011315aa98252501c7 /dev | |
| parent | 1a64b1560ce88855a76e2faa14cec2864de2f37c (diff) | |
| parent | 7dba32f3204b85b0abf39161c7c8b7db4ce27247 (diff) | |
Merge PR #14018: [doc] [coq_makefile] Document that -j N is broken for OCaml < 4.07.0
Reviewed-by: JasonGross
Ack-by: jfehrle
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions