Open jbdoderlein opened 3 years ago
Modify the manifest.json so when someone open a .ml file on mobile, there is an option to open this file in betterocaml
Modify the manifest.json so when someone open a .ml file on mobile, there is an option to open this file in betterocaml