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

[documentation] Add a page about custom workspaces #927

Open
wants to merge 8 commits into
base: main
Choose a base branch
from

Commits on Nov 6, 2024

  1. Configuration menu
    Copy the full SHA
    5697436 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    e1671bf View commit details
    Browse the repository at this point in the history
  3. Update make.jl

    amontoison committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    844e95b View commit details
    Browse the repository at this point in the history
  4. Fix a typo

    amontoison committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    891d047 View commit details
    Browse the repository at this point in the history
  5. Add a method Krylov.kref!

    amontoison committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    a417d8a View commit details
    Browse the repository at this point in the history
  6. Fix custom Krylov.kref!

    amontoison committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    de6a672 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    1e39add View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    899885c View commit details
    Browse the repository at this point in the history