diff options
| author | Gaëtan Gilbert | 2020-02-12 13:20:27 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-12 13:20:27 +0100 |
| commit | 9700c44dca70f5550a6713e4ccbb3693e058a9a7 (patch) | |
| tree | 795c0757adfac4b32b08ef6e83d9cb8fd63c5a48 /kernel/environ.ml | |
| parent | 6c1de3455d5cd79958a8e26ac728f7d5d1b8d025 (diff) | |
| parent | 8b1bd5bb6bb66a578969e0a4f8c535a3718bba8c (diff) | |
Merge PR #11563: Mini improvement of the formatting rule for printing fix and cofix
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/environ.ml')
0 files changed, 0 insertions, 0 deletions