Skip to content

Fix Issue#14 - Move documentation to a separate repository#25

Merged
guilyx merged 3 commits intomainfrom
remove-docs
Dec 20, 2020
Merged

Fix Issue#14 - Move documentation to a separate repository#25
guilyx merged 3 commits intomainfrom
remove-docs

Conversation

@sampreets3
Copy link
Member

@sampreets3 sampreets3 commented Dec 20, 2020

Closes #14

  • Removed the docs directory
  • Created a new repository named plarser-docs (taking into account the recent change in naming)
  • Pushed the contents of the docs folder into plarser-docs

@sampreets3 sampreets3 requested a review from guilyx December 20, 2020 22:54
Copy link
Member

@guilyx guilyx left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@guilyx guilyx merged commit c8496d1 into main Dec 20, 2020
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.

Move documentation to a separate repository

2 participants