Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Format: margin documentation precision (commit: 982d4a3) (details)
  2. format: comment max indent induced line splits (commit: b6ba182) (details)
  3. format: document structural box quirk (commit: 99f0910) (details)
  4. review and change entry for #9618 (commit: 8875357) (details)
Commit 982d4a378eedec404062b94a112aac8e16bc723d by Florian Angeletti
Format: margin documentation precision
 (commit: 982d4a3)
The file was modifiedstdlib/format.mli (diff)
Commit b6ba1823c02ec4864a95f80914984ff8cd595e21 by Florian Angeletti
format: comment max indent induced line splits
 (commit: b6ba182)
The file was modifiedstdlib/format.mli (diff)
Commit 99f09100811c904fc4beebcf937c021cc01e8551 by Florian Angeletti
format: document structural box quirk
 (commit: 99f0910)
The file was modifiedstdlib/format.mli (diff)
Commit 8875357638c5eb422701acb4d339a0ac3ecf05b4 by Florian Angeletti
review and change entry for #9618
 (commit: 8875357)
The file was modifiedChanges (diff)
The file was modifiedstdlib/format.mli (diff)