html manual links changed from inria website to ocaml.org#1574
Open
gurleennsidhuu wants to merge 1 commit intoocaml:masterfrom
gurleennsidhuu:cto
Open
html manual links changed from inria website to ocaml.org#1574gurleennsidhuu wants to merge 1 commit intoocaml:masterfrom gurleennsidhuu:cto
gurleennsidhuu wants to merge 1 commit intoocaml:masterfrom
gurleennsidhuu:cto