Commits on Aug 22, 2024

1. rustdoc-search: use tighter json for names and parents …

   File size
   ---------
   
   ```console
   $ du -hs doc.old/search-index1.82.0.js doc/search-index1.82.0.js
   3.2M    doc.old/search-index1.82.0.js
   2.8M    doc/search-index1.82.0.js
   $ gzip doc/search-index1.82.0.js
   $ gzip doc.old/search-index1.82.0.js
   $ du -hs doc.old/search-index1.82.0.js.gz doc/search-index1.82.0.js.gz
   464K    doc.old/search-index1.82.0.js.gz
   456K    doc/search-index1.82.0.js.gz
   $ du -hs compiler-doc.old/search-index.js compiler-doc/search-index.js
   8.5M    compiler-doc.old/search-index.js
   6.5M    compiler-doc/search-index.js
   $ gzip compiler-doc/search-index1.82.0.js
   $ gzip compiler-doc.old/search-index1.82.0.js
   $ du -hs compiler-doc.old/search-index.js.gz compiler-doc/search-index.js.gz
   1.4M    compiler-doc.old/search-index.js.gz
   1.4M    compiler-doc/search-index.js.gz
   ```

   

   notriddle committed Aug 22, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 8151de2
   • Browse repository at this point

   Copy the full SHA

   8151de2 View commit details

   Browse the repository at this point in the history