New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Js.log -> Console.log #768

Merged

cknitt merged 1 commit into rescript-lang:master from cknitt:console-log

Jan 1, 2024

Member

cknitt commented Jan 1, 2024

Use Console.log from Core instead of Js.log in the docs/examples.

(Except for the Js docs and Belt docs which I left untouched.)


          Js.log -> Console.log

34298cc

cknitt requested review from fhammerschmidt and zth

January 1, 2024 16:34

zth approved these changes

View reviewed changes

Collaborator

zth left a comment

Nice!

cknitt merged commit 564614d into rescript-lang:master

1 of 2 checks passed

cknitt deleted the console-log branch

January 1, 2024 17:21

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet