Skip to content

faster doc builds and fix redirect on 0.4#240

Merged
japaric merged 1 commit intortic-rs:masterfrom
japaric:faster-docs
Sep 15, 2019
Merged

faster doc builds and fix redirect on 0.4#240
japaric merged 1 commit intortic-rs:masterfrom
japaric:faster-docs

Conversation

@japaric
Copy link
Collaborator

@japaric japaric commented Sep 15, 2019

No description provided.

@japaric
Copy link
Collaborator Author

japaric commented Sep 15, 2019

skipping CI because docs deployment

@japaric japaric merged commit 42cac1f into rtic-rs:master Sep 15, 2019
@japaric japaric deleted the faster-docs branch September 15, 2019 20:01
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.

1 participant