diff options
| author | bors <bors@rust-lang.org> | 2023-05-15 15:16:29 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-05-15 15:16:29 +0000 |
| commit | 586541b97e047cfec540fad752bc1eaca4acac36 (patch) | |
| tree | 542bee1edd6fe3ac67d97425e7ecd2c57ad98eb3 /ci/rust.css | |
| parent | d1df7024408f3c103d7d80fec4b25e165890afa1 (diff) | |
| parent | 07f7c83349a5af80dcbb80ac6f2a8a12dbfdb97b (diff) | |
| download | rust-libc-586541b97e047cfec540fad752bc1eaca4acac36.tar.gz | |
Auto merge of #3249 - joshtriplett:switch-to-main, r=Amanieu
Change branch references to HEAD where possible or main otherwise
This updates CI, documentation, and similar to work with a `main`
branch. It also renames references to *other* repositories to work, as
well, which additionally makes it easier to search for remaining
references.
I verified that all modified links still work.
Diffstat (limited to 'ci/rust.css')
| -rw-r--r-- | ci/rust.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/rust.css b/ci/rust.css index d33e36e60c..8dfeb6e7ac 100644 --- a/ci/rust.css +++ b/ci/rust.css @@ -1,4 +1,4 @@ -/* This is taken from https://github.com/rust-lang/rust/blob/master/src/doc/rust.css */ +/* This is taken from https://github.com/rust-lang/rust/blob/HEAD/src/doc/rust.css */ @font-face { font-family: 'Fira Sans'; |