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

JSON format #19

Closed
3 tasks done
benoit9126 opened this issue Dec 15, 2022 · 0 comments · Fixed by #26 or #66
Closed
3 tasks done

JSON format #19

benoit9126 opened this issue Dec 15, 2022 · 0 comments · Fixed by #26 or #66
Assignees
@alihamdan @Saelyos
Labels
enhancement New feature or request

Comments

@benoit9126
Copy link
Member

benoit9126 commented Dec 15, 2022 •
edited by alihamdan
Loading

Some modifications to the JSON format:
@benoit9126 benoit9126 added the enhancement New feature or request label Dec 15, 2022
This was referenced Dec 19, 2022
Closed
Merged
Merged
@alihamdan alihamdan linked a pull request Dec 26, 2022 that will close this issue
New json format #26
Merged
@benoit9126 benoit9126 linked a pull request Feb 21, 2023 that will close this issue
Version 0.3.0 #66
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alihamdan alihamdan

@Saelyos Saelyos

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
3 participants
@benoit9126 @alihamdan @Saelyos