diff options
author | Josh Triplett <josh@joshtriplett.org> | 2023-05-15 17:02:15 +0200 |
---|---|---|
committer | Josh Triplett <josh@joshtriplett.org> | 2023-05-15 17:02:15 +0200 |
commit | 07f7c83349a5af80dcbb80ac6f2a8a12dbfdb97b (patch) | |
tree | 542bee1edd6fe3ac67d97425e7ecd2c57ad98eb3 /ci/rust.css | |
parent | d1df7024408f3c103d7d80fec4b25e165890afa1 (diff) | |
download | rust-libc-07f7c83349a5af80dcbb80ac6f2a8a12dbfdb97b.tar.gz |
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.
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'; |