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.

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

index: Uses the nixos menu, as it did beforehand... #287

Merged
merged 1 commit into from Jun 28, 2019

Conversation

samueldr
Copy link
Member

Until we have a better story to make it obvious that there are
subsections for the site, and there are different menus for subsection,
restoring the old menu on the index is probably the sage decision.

Until we have a better story to make it obvious that there are
subsections for the site, and there are different menus for subsection,
restoring the old menu on the index is probably the sage decision.
@grahamc grahamc merged commit a25ee04 into NixOS:master Jun 28, 2019
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.

None yet

2 participants