Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Remove PDF manual from web site #3540

Closed
brson opened this issue Sep 20, 2012 · 1 comment
Closed

Remove PDF manual from web site #3540

brson opened this issue Sep 20, 2012 · 1 comment

Comments

@brson
Copy link
Contributor

brson commented Sep 20, 2012

Like the signatures, I assume most people just want HTML, not PDF. If they dig into the other docs link there are still links to the PDFs.
@brson
Copy link
Contributor Author

brson commented Sep 29, 2012

I went ahead with this.

@brson brson closed this as completed Sep 29, 2012
bors pushed a commit to rust-lang-ci/rust that referenced this issue May 15, 2021
@scampi
Merge pull request rust-lang#3540 from rchaser53/issue-3539
da1e3c9 
correct to get wrong BytePos
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@brson