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

[Docs] fix java header #582

Merged

chaokunyang merged 1 commit into main from fix_userguide_java_header

Jul 11, 2023

Collaborator

chaokunyang commented Jul 11, 2023

What do these changes do?

Related issue number

Closes #581

Check code requirements

tests added / passed (if needed)
Ensure all linting tests pass, see here for how to run them


          fix header

131d662

chaokunyang merged commit ffcc761 into main

chaokunyang deleted the fix_userguide_java_header branch

July 11, 2023 13:37

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet