aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorThéo Zimmermann2020-03-10 15:21:29 +0100
committerThéo Zimmermann2020-03-10 15:21:29 +0100
commit3a5469b2097c55ecf952ead470caf03b6112cd9e (patch)
tree7f0833b0f2beb4a44b5ca54d47e495debecc104e /doc
parentcffb0ed6f58188b8ea01d54a5349d28313b86dc1 (diff)
parent6ee44b62d0a858a2c298c9cdfefe29c583d51a00 (diff)
Merge PR #11732: Update the OCaml version in `default.nix` to 4.09.0
Reviewed-by: Zimmi48
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions