Skip to content

Download the toitdoc-web-page and pkg-web-page from GitHub.#96

Merged
floitsch merged 2 commits intomainfrom
floitsch/download-from-github
Jun 28, 2024
Merged

Download the toitdoc-web-page and pkg-web-page from GitHub.#96
floitsch merged 2 commits intomainfrom
floitsch/download-from-github

Conversation

@floitsch
Copy link
Member

No description provided.

@floitsch floitsch requested a review from kasperl June 28, 2024 13:18
@floitsch floitsch merged commit 7265e2b into main Jun 28, 2024
@floitsch floitsch deleted the floitsch/download-from-github branch June 28, 2024 13:31
@floitsch
Copy link
Member Author

TBR.

Copy link
Contributor

@kasperl kasperl left a comment

Choose a reason for hiding this comment

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

Looks good to me.

@@ -1,4 +1,10 @@

# The toitdoc page used to server package toitdocs.
Copy link
Contributor

Choose a reason for hiding this comment

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

I don't really understand this sentence.

Copy link
Member Author

Choose a reason for hiding this comment

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

done in #106.

@@ -1,4 +1,10 @@

Copy link
Contributor

Choose a reason for hiding this comment

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

Drop empty first line?

Copy link
Member Author

Choose a reason for hiding this comment

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

done in #106.

floitsch added a commit that referenced this pull request Jul 1, 2024
@floitsch floitsch mentioned this pull request Jul 1, 2024
floitsch added a commit that referenced this pull request Aug 6, 2024
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.

2 participants