Skip to content

feat(menu): add menu padding tokens#5767

Merged
copybara-service[bot] merged 1 commit intomainfrom
cl/720338956
Jan 28, 2025
Merged

feat(menu): add menu padding tokens#5767
copybara-service[bot] merged 1 commit intomainfrom
cl/720338956

Conversation

@copybara-service
Copy link

feat(menu): add menu padding tokens

@copybara-service copybara-service bot force-pushed the cl/720338956 branch 2 times, most recently from 128a698 to f4b5fef Compare January 28, 2025 19:11
PiperOrigin-RevId: 720643566
@copybara-service copybara-service bot merged commit 767d1f1 into main Jan 28, 2025
@copybara-service copybara-service bot deleted the cl/720338956 branch January 28, 2025 19:14
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.

1 participant