From d7d0a4533c80a0d69f50b4f736a55f0bb4d55e81 Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Fri, 14 Jul 2023 16:48:16 -0700 Subject: [PATCH] rustdoc: rename to `src-script.js` This is a separate commit to keep Git happy. --- src/librustdoc/html/static/js/{source-script.js => src-script.js} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/librustdoc/html/static/js/{source-script.js => src-script.js} (100%) diff --git a/src/librustdoc/html/static/js/source-script.js b/src/librustdoc/html/static/js/src-script.js similarity index 100% rename from src/librustdoc/html/static/js/source-script.js rename to src/librustdoc/html/static/js/src-script.js