Skip to content

rustc: remove html docs #601

Merged
merged 1 commit into from
Feb 6, 2018
Merged

rustc: remove html docs #601

merged 1 commit into from
Feb 6, 2018

Conversation

wwwutz
Copy link
Collaborator

@wwwutz wwwutz commented Feb 5, 2018

noone googles in file://

noone googles in file://
@david david merged commit 4368f3e into master Feb 6, 2018
@donald donald deleted the fixc-rustc branch February 14, 2018 15:05
Sign in to join this conversation on GitHub.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants