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

Jump to bottom

[docs] Hide header in DefaultTheme demo #16937

Merged
merged 1 commit into from
Aug 9, 2019
Merged

[docs] Hide header in DefaultTheme demo #16937

merged 1 commit into from
Aug 9, 2019

Conversation

rogerclotet
Copy link
Contributor

As discussed in #16920.

@rogerclotet rogerclotet force-pushed the docs/default-theme branch 2 times, most recently from 0d8bc9d to 6cfdc4f Compare August 8, 2019 19:28
@rogerclotet rogerclotet mentioned this pull request Aug 8, 2019
Closed
1 task
@mui-pr-bot
Copy link

No bundle size changes comparing 0168a6d...6cfdc4f

Generated by 🚫 dangerJS against 6cfdc4f

@oliviertassinari oliviertassinari added docs Improvements or additions to the documentation PR: good for merge labels Aug 8, 2019
@oliviertassinari oliviertassinari merged commit 0537874 into mui:master Aug 9, 2019
@oliviertassinari
Copy link
Member

Here we go, the first one, thank you.

@snyk-bot snyk-bot mentioned this pull request Sep 4, 2019
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@oliviertassinari oliviertassinari oliviertassinari approved these changes

Assignees
No one assigned
Labels
docs Improvements or additions to the documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@rogerclotet @mui-pr-bot @oliviertassinari