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

Documented M, m, n, w, W, t, c and H options of OCAMLRUNPARAM, Fixes #8697 #10666

Merged
merged 15 commits into from
Oct 6, 2021
Merged

Documented M, m, n, w, W, t, c and H options of OCAMLRUNPARAM, Fixes #8697 #10666

merged 15 commits into from
Oct 6, 2021

Commits on Sep 27, 2021

  1. document-M-m-n-o: merge the old commits

    Dong An committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    69683fb View commit details
    Browse the repository at this point in the history

  2. document-M-m-n-option: correct by feeds

    Dong An committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    f7f011e View commit details
    Browse the repository at this point in the history

  3. Document-M-m-n-option: add a record to Change file.

    Dong An committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    ff60e5c View commit details
    Browse the repository at this point in the history

  4. Change PR number

    Dong An committed Sep 27, 2021
    Configuration menu
    Copy the full SHA
    7896892 View commit details
    Browse the repository at this point in the history

Commits on Sep 28, 2021

  1. document-M-m-n-option: add t option and correct the change file

    Dong An committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    785a724 View commit details
    Browse the repository at this point in the history

  2. document-M-m-n-option: 

    	1. Correct Change file
	2. Tidy the options to a-z order.
    Dong An committed Sep 28, 2021
    Configuration menu
    Copy the full SHA
    0eeb6a5 View commit details
    Browse the repository at this point in the history

Commits on Sep 29, 2021

  1. document-M-m-n-option: Make the paragraph format of the manpage

    Dong An committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    2dc8036 View commit details
    Browse the repository at this point in the history

  2. document-M-m-n-option: Changed the descriptions of the options

    Dong An committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    b2d7576 View commit details
    Browse the repository at this point in the history

  3. document-M-m-n-option: add a new reviewer

    Dong An committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    7c52553 View commit details
    Browse the repository at this point in the history

  4. document-M-m-n-option: remove whitespaces and make the line shorter

    Dong An committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    7520da2 View commit details
    Browse the repository at this point in the history

  5. document-M-m-n-option: change the description of t

    Dong An committed Sep 29, 2021
    Configuration menu
    Copy the full SHA
    67010ba View commit details
    Browse the repository at this point in the history

Commits on Sep 30, 2021

  1. document-M-m-n-option: Change in runtime.etex

    Dong An committed Sep 30, 2021
    Configuration menu
    Copy the full SHA
    c6f615a View commit details
    Browse the repository at this point in the history

  2. branch document-M-m-n-option: change the format of OCAMLRUNPARAM's de… 

    …scription
    Dong An committed Sep 30, 2021
    Configuration menu
    Copy the full SHA
    b743e67 View commit details
    Browse the repository at this point in the history

Commits on Oct 5, 2021

  1. document-M-m-n-option: Add w

    Dong An committed Oct 5, 2021
    Configuration menu
    Copy the full SHA
    a7ff27d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'trunk' into document-M-m-n-option

    Dong An committed Oct 5, 2021
    Configuration menu
    Copy the full SHA
    4148401 View commit details
    Browse the repository at this point in the history