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

remove consent #136

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

remove consent #136

wants to merge 1 commit into from

Conversation

jonaprieto
Copy link
Collaborator

Description

Please provide a clear and concise description of the documentation changes you're proposing in this PR.

Related Issue: # (issue number, if applicable)

Checklist

  • My writing follows the style guidelines of this project.
  • I have checked for and corrected any spelling or grammar errors.
  • I have performed a self-review of my own writing.
  • I have made corresponding changes to existing documentation.
  • My changes generate no new warnings or errors using make pre-commit.
  • If I have added or modified a code example, I have tested that the example
    compiles and runs as expected with the latest version of Juvix.

Additional Information

Please provide any additional context or information about the proposed documentation changes here.

@jonaprieto jonaprieto marked this pull request as ready for review December 23, 2024 17:13
@jonaprieto
Copy link
Collaborator Author

jonaprieto commented Dec 23, 2024

Success! The preview of this PR will be available at https://docs.juvix.org/pull-136/ in a few minutes.

Please note that this link will be deleted when the PR is closed or merged.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant