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

Adjustment of the 'Advanced usage' in the README #223

Closed
chrboesch opened this issue Apr 7, 2023 · 2 comments
Closed

Adjustment of the 'Advanced usage' in the README #223

chrboesch opened this issue Apr 7, 2023 · 2 comments

Comments

@chrboesch
Copy link
Collaborator

The 'advanced usage' still needs to be adjusted, both in the build system and in the readme.
@perillo
Copy link
Contributor

perillo commented Apr 8, 2023

It is already working in the build system; only the README.md file needs to be updated.

Unfortunately, I missed the Advanced Usage section in commit 0d56ba3; sorry for the inconvenience.

@chrboesch chrboesch changed the title Advanced usage Adjustment of the 'Advanced usage' in the REDME Apr 8, 2023
@chrboesch
Copy link
Collaborator Author

see #212 (comment)

@chrboesch chrboesch changed the title Adjustment of the 'Advanced usage' in the REDME Adjustment of the 'Advanced usage' in the README Apr 8, 2023
@chrboesch chrboesch mentioned this issue Apr 9, 2023
Merged
nitingupta910 pushed a commit to nitingupta910/ziglings that referenced this issue Jun 11, 2023
@chrboesch
closes ratfactor/ziglings#223
7dd8d8a
vamega pushed a commit to vamega/ziglings that referenced this issue Jul 25, 2023
@chrboesch
closes ratfactor#223
88b0ff9
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@perillo @chrboesch