Improve rustdoc-gui/tester.js code a bit#108911

Merged

bors merged 1 commit intorust-lang:masterfrom GuillaumeGomez:improve-rustdoc-gui-tester-code

Mar 9, 2023

+25-23

Commits on Mar 8, 2023

Improve rustdoc-gui/tester.js code a bit
GuillaumeGomez
committed