New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

doc: fix nav bar #983

Merged

xzdandy merged 1 commit into staging from fix

Aug 29, 2023

Member

gaurav274 commented Aug 29, 2023 •

edited

Loading

Fix broken navigation bar


          fix nav bar

293358b

gaurav274 requested review from jiashenC, xzdandy and jarulraj

August 29, 2023 04:42

xzdandy approved these changes

View reviewed changes

xzdandy merged commit d3fec47 into staging

xzdandy deleted the fix branch

August 29, 2023 04:54

# for free to join this conversation on GitHub. Already have an account? # to comment

Labels

None yet