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

Add Docs.hasdoc #52139

Merged
merged 14 commits into from
Dec 5, 2023
Merged

Add Docs.hasdoc #52139

merged 14 commits into from
Dec 5, 2023

Commits on Nov 13, 2023

  1. Add Docs.hasdoc

    @jariji
    jariji authored Nov 13, 2023
    Configuration menu
    Copy the full SHA
    d554373 View commit details
    Browse the repository at this point in the history

  2. Add tests

    @jariji
    jariji authored Nov 13, 2023
    Configuration menu
    Copy the full SHA
    43c0bfc View commit details
    Browse the repository at this point in the history

  3. Update Docs.jl

    @jariji
    jariji authored Nov 13, 2023
    Configuration menu
    Copy the full SHA
    926c8e1 View commit details
    Browse the repository at this point in the history

  4. Update docs.jl

    @jariji
    jariji authored Nov 13, 2023
    Configuration menu
    Copy the full SHA
    043f2cd View commit details
    Browse the repository at this point in the history

  5. Update Docs.jl

    @jariji
    jariji authored Nov 13, 2023
    Configuration menu
    Copy the full SHA
    68e059c View commit details
    Browse the repository at this point in the history

Commits on Nov 15, 2023

  1. Update docs.jl

    @jariji
    jariji authored Nov 15, 2023
    Configuration menu
    Copy the full SHA
    2bee8ee View commit details
    Browse the repository at this point in the history

Commits on Nov 16, 2023

  1. Fix

    @jariji
    jariji authored Nov 16, 2023
    Configuration menu
    Copy the full SHA
    4a4a648 View commit details
    Browse the repository at this point in the history

  2. Whitespace

    @jariji
    jariji authored Nov 16, 2023
    Configuration menu
    Copy the full SHA
    98bfcac View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into hasdoc

    @jariji
    jariji authored Nov 16, 2023
    Configuration menu
    Copy the full SHA
    aa9996e View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2023

  1. Update base/docs/Docs.jl 

    Co-authored-by: Steven G. Johnson <[email protected]>
    @jariji @stevengj
    jariji and stevengj authored Nov 17, 2023
    Configuration menu
    Copy the full SHA
    e797ddd View commit details
    Browse the repository at this point in the history

  2. Update test/docs.jl 

    Co-authored-by: Steven G. Johnson <[email protected]>
    @jariji @stevengj
    jariji and stevengj authored Nov 17, 2023
    Configuration menu
    Copy the full SHA
    dcc2934 View commit details
    Browse the repository at this point in the history

  3. Mention

    @jariji
    jariji authored Nov 17, 2023
    Configuration menu
    Copy the full SHA
    cea82ca View commit details
    Browse the repository at this point in the history

  4. Update NEWS.md 

    Co-authored-by: Steven G. Johnson <[email protected]>
    @jariji @stevengj
    jariji and stevengj authored Nov 17, 2023
    Configuration menu
    Copy the full SHA
    c74456c View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. Merge branch 'master' into hasdoc

    @stevengj
    stevengj authored Dec 4, 2023
    Configuration menu
    Copy the full SHA
    73730c6 View commit details
    Browse the repository at this point in the history