aboutsummaryrefslogtreecommitdiff
path: root/lib/configuration/of_json.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2025-01-08 13:14:13 +0100
committerSébastien Dailly <sebastien@dailly.me>2025-01-08 13:14:57 +0100
commit9473b2c009961d2e66a31673c38831b59528b706 (patch)
tree39ea8e63db5f81d9658b39b94d7e6c38bf3c3e02 /lib/configuration/of_json.ml
parent6883d69e0f8eb0e67928ad2cfc92bf0792f948c9 (diff)
The version in the document is not mandatory anymore
Diffstat (limited to 'lib/configuration/of_json.ml')
0 files changed, 0 insertions, 0 deletions