mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
244,319 Commits 2 Branches 0 Tags
Commit Graph

2 Commits

Author SHA1 Message Date
Michael Howell
7e86fd61e8 rustdoc: merge theme css into rustdoc.css 
Based on
https://github.com/rust-lang/rust/pull/115812#issuecomment-1717960119

Having them in separate files used to make more sense, before the
migration to CSS variables made the theme files as small as they are
nowadays. This is already how docs.rs and mdBook do it.
 2023-09-15 07:40:17 -07:00
Joshua Nelson
433da1fc04 Move almost all run-make-fulldeps to run-make 
They pass fine.
 2023-03-30 07:34:55 -05:00