Skip to content

melc: delete Ext_json and related modules, use dune-build-info for version#551

Merged
anmonteiro merged 1 commit intomainfrom anmonteiro/json-and-versionApr 24, 2023

Commits

Commits on Apr 24, 2023