Skip to content
This repository has been archived by the owner on Feb 24, 2023. It is now read-only.

Navigation refactor (WIP) #31

Merged
merged 11 commits into from
Dec 6, 2021
Merged

Navigation refactor (WIP) #31

merged 11 commits into from
Dec 6, 2021

Conversation

a-barzanti
Copy link
Contributor

@a-barzanti a-barzanti commented Nov 27, 2021

Changes

Changing the design of the navigation.

Checklist

  • My code follows the style guidelines of this project
  • I have performed a self-review of my own code
  • I have made corresponding changes to the documentation
  • My changes generate no new warnings

Tests

  • Automated tests have been added
  • This PR does not require tests

@a-barzanti a-barzanti changed the title Navigation refactor Navigation refactor (WIP) Nov 27, 2021
@cwbeck cwbeck merged commit da354c7 into env-work Dec 6, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants