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

Using text instead of symbols for nav #3875

Merged

kevinreiss merged 1 commit into main from 3037-nav-button-text

Dec 4, 2023

Contributor

rladdusaw commented Dec 4, 2023

Resolves #3037


          Using text instead of symbols for nav

f38d2a0

coveralls commented Dec 4, 2023

coverage: 95.405%. remained the same
when pulling f38d2a0 on 3037-nav-button-text
into 7ae7bad on main.

kevinreiss approved these changes

View reviewed changes

kevinreiss merged commit 6229043 into main

3 checks passed

kevinreiss deleted the 3037-nav-button-text branch

December 4, 2023 22:08

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

Labels

None yet