mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Minute formatting fix

This commit is contained in:
Hanif Ariffin 2020-04-30 21:18:21 -04:00 committed by Who? Me?!
parent a056d24ef6
commit 2b6a77ea0a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/queries/profiling.md
View File

@ -74,7 +74,7 @@ _actual_ output is much longer.
[View full HTML output][profile-example-html]. Note; it could take up
to a second to properly render depending on your browser.
Here is the corresponding text output](./example-0.counts.txt).
Here is the corresponding [text output](./example-0.counts.txt).
[profile-example-html]: ./example-0.html