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

Treat major and minor ticks differently (in GR, for now) #1788

Closed
wants to merge 1 commit into from
+43 −8

Treat minor and major ticks separately

824b7ce
Select commit
Loading
Failed to load commit list.
Closed

Treat major and minor ticks differently (in GR, for now) #1788

Treat minor and major ticks separately
824b7ce
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs