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.

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

Unix merlin system command #5

Open
wants to merge 9 commits into
base: master
Choose a base branch
from
Open

Commits on Apr 28, 2023

  1. Configuration menu
    Copy the full SHA
    8672a9f View commit details
    Browse the repository at this point in the history
  2. Separate args in System_command.unix

    3Rafal authored and voodoos committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    9b1780e View commit details
    Browse the repository at this point in the history
  3. Clean whitespace

    3Rafal authored and voodoos committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    4696b0c View commit details
    Browse the repository at this point in the history
  4. Drop redundant parens

    3Rafal authored and voodoos committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    99973dc View commit details
    Browse the repository at this point in the history
  5. String.concat_array edge case

    3Rafal authored and voodoos committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    566ab7e View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    15e8eaf View commit details
    Browse the repository at this point in the history
  7. Add changelog to ocaml#1585

    3Rafal authored and voodoos committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    c406f61 View commit details
    Browse the repository at this point in the history
  8. Simplify apply_rewriter args

    3Rafal authored and voodoos committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    e24038d View commit details
    Browse the repository at this point in the history
  9. Move quoting inside the hook.

    Add detailed implementation constraints.
    voodoos committed Apr 28, 2023
    Configuration menu
    Copy the full SHA
    4db2f27 View commit details
    Browse the repository at this point in the history