Skip to content

Delete unused nav-panel.html#281

Merged
chalin merged 1 commit intomainfrom
chalin-nav-panel-cleanup-2021-05-12
May 12, 2021
Merged

Delete unused nav-panel.html#281
chalin merged 1 commit intomainfrom
chalin-nav-panel-cleanup-2021-05-12

Conversation

@chalin
Copy link
Copy Markdown
Contributor

@chalin chalin commented May 12, 2021

  • Contributes to Post-docsy conversion #247
  • The file is a relic from the pre-docsy days.
  • There are no changes in the generated site files.

This is part of a more general post-docsy cleanup that needs to be done. I'm only doing this single file now because it is in support of #282 (and hence #149).

The file is a relic from the pre-docsy days.
There are no changes in the generated site files.
@chalin chalin requested a review from nate-double-u May 12, 2021 15:41
@chalin chalin mentioned this pull request May 12, 2021
21 tasks
@chalin chalin merged commit 7efab33 into main May 12, 2021
@chalin chalin deleted the chalin-nav-panel-cleanup-2021-05-12 branch May 12, 2021 16:47
NotAwar pushed a commit to NotAwar/website that referenced this pull request Feb 27, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants