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

Update and fix docs #47

Merged
merged 5 commits into from
Jan 21, 2021
Merged

Update and fix docs #47

merged 5 commits into from
Jan 21, 2021

Commits on Jan 20, 2021

  1. fix API docs

    @marius311
    marius311 committed Jan 20, 2021
    Configuration menu
    Copy the full SHA
    b1a3c0f View commit details
    Browse the repository at this point in the history

  2. docs build locally

    @marius311
    marius311 committed Jan 20, 2021
    Configuration menu
    Copy the full SHA
    9c63321 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2021

  1. serialization improvements, update GPU docs

    @marius311
    marius311 committed Jan 21, 2021
    Configuration menu
    Copy the full SHA
    af08383 View commit details
    Browse the repository at this point in the history

  2. force JuliaMono font

    @marius311
    marius311 committed Jan 21, 2021
    Configuration menu
    Copy the full SHA
    35ffa33 View commit details
    Browse the repository at this point in the history

  3. fix font size

    @marius311
    marius311 committed Jan 21, 2021
    Configuration menu
    Copy the full SHA
    d317913 View commit details
    Browse the repository at this point in the history