summaryrefslogtreecommitdiff
path: root/compiler/.ocamlformat
diff options
context:
space:
mode:
authorSon Ho2023-12-07 14:42:08 +0100
committerSon Ho2023-12-07 14:42:08 +0100
commit2fc876ab40bed10e36f6ee6581f516cdda3b9bc4 (patch)
tree41c2a1c17627741ffcc587531da9870e65833ddd /compiler/.ocamlformat
parentc17d8cbb7c32d2c2ce9d737fe5359cfbe7d4418c (diff)
Fix the extraction of the empty type
Diffstat (limited to 'compiler/.ocamlformat')
0 files changed, 0 insertions, 0 deletions