diff options
| author | Ralf Jung <post@ralfj.de> | 2025-09-22 11:50:27 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-09-22 11:50:27 +0000 |
| commit | 5caffb1830699f481549783a7c07339629ad27d5 (patch) | |
| tree | 5af5cd90cb78a26766bcd6875194194901a736e0 /src/librustdoc/html/static/css/noscript.css | |
| parent | ad7640452783d3fe10fffaace9389b09f7cdea7b (diff) | |
| parent | bbe05dcbdf4e08ab24e179cbbaaf50c96fa0634e (diff) | |
Merge pull request #4595 from RalfJung/tb-terms
TB: update terminology to match paper & MiniRust
Diffstat (limited to 'src/librustdoc/html/static/css/noscript.css')
0 files changed, 0 insertions, 0 deletions