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

[Task 37] Remaining docs #165

Merged
merged 5 commits into from
Aug 14, 2023
Merged

[Task 37] Remaining docs #165

merged 5 commits into from
Aug 14, 2023

Conversation

kresimirgotovac
Copy link
Contributor

What:
This pr just finishes up the final missing java docs.

Why:
Need documentation for back end users.

Implementation Details:
Standard javadoc syntax

@jenniferjinyoungyang jenniferjinyoungyang linked an issue Aug 14, 2023 that may be closed by this pull request
@jenniferjinyoungyang jenniferjinyoungyang changed the title Remaining docs [Task 37] Remaining docs Aug 14, 2023
@jenniferjinyoungyang jenniferjinyoungyang enabled auto-merge (squash) August 14, 2023 03:21
@jenniferjinyoungyang
Copy link
Contributor

Since we are approaching submission deadline, and this is just JavaDocs update, we are merging this with 2 approvals.

@jenniferjinyoungyang jenniferjinyoungyang merged commit 76fd00d into main Aug 14, 2023
2 checks passed
@jenniferjinyoungyang jenniferjinyoungyang deleted the remaining_docs branch August 14, 2023 03:23
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.

[Task 37] Remaining JavaDocs
3 participants