Skip to content
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

Rename ocamlopttoplevel.cmxa to ocamltoplevel.cmxa #10078

Merged
merged 1 commit into from
Dec 15, 2020
Merged

Rename ocamlopttoplevel.cmxa to ocamltoplevel.cmxa #10078

merged 1 commit into from
Dec 15, 2020

Commits on Dec 9, 2020

  1. Rename ocamlopttoplevel.cmxa to ocamltoplevel.cmxa 

    This follows from ocaml#10061 by renaming the library to further unify the two
toplevels.

Some remaining references to `Opttop*` have also been cleaned up.
    @AltGr
    AltGr committed Dec 9, 2020
    Configuration menu
    Copy the full SHA
    bc3a788 View commit details
    Browse the repository at this point in the history