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

Polish Wasm bindings #1206

Merged
merged 13 commits into from
Jul 27, 2023
Merged

Polish Wasm bindings #1206

merged 13 commits into from
Jul 27, 2023

Commits on Jul 17, 2023

  1. Use new Options() over Options.default()

    @PhilippGackstatter
    PhilippGackstatter committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    0af2cc0 View commit details
    Browse the repository at this point in the history

  2. Remove commented modules

    @PhilippGackstatter
    PhilippGackstatter committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    6d7b548 View commit details
    Browse the repository at this point in the history

  3. Remove outdated TODOs

    @PhilippGackstatter
    PhilippGackstatter committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    c450866 View commit details
    Browse the repository at this point in the history

  4. Remove wontfix TODO

    @PhilippGackstatter
    PhilippGackstatter committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    1f3fcd9 View commit details
    Browse the repository at this point in the history

  5. Format

    @PhilippGackstatter
    PhilippGackstatter committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    a992641 View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/main' into feat/polish-wasm-bind… 

    …ings
    @PhilippGackstatter
    PhilippGackstatter committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    90bc3e1 View commit details
    Browse the repository at this point in the history

  7. Polish docs and signatures, remove old cred valid.

    @PhilippGackstatter
    PhilippGackstatter committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    ff94cd8 View commit details
    Browse the repository at this point in the history

Commits on Jul 20, 2023

  1. Replace some doc links

    @PhilippGackstatter
    PhilippGackstatter committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    d8123c4 View commit details
    Browse the repository at this point in the history

  2. Fix some docs

    @PhilippGackstatter
    PhilippGackstatter committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    2dc7ee6 View commit details
    Browse the repository at this point in the history

  3. Replace Class with {@link Class}

    @PhilippGackstatter
    PhilippGackstatter committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    fa25248 View commit details
    Browse the repository at this point in the history

  4. Improve mod names

    @PhilippGackstatter
    PhilippGackstatter committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    cbc0f9e View commit details
    Browse the repository at this point in the history

  5. Add hidden lifetime params

    @PhilippGackstatter
    PhilippGackstatter committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    6dd629a View commit details
    Browse the repository at this point in the history

  6. Merge remote-tracking branch 'origin/main' into feat/polish-wasm-bind… 

    …ings
    @PhilippGackstatter
    PhilippGackstatter committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    eef4b53 View commit details
    Browse the repository at this point in the history