refs #1979, #1992: workaround for settings.js not served from the root#1993

Merged

syphar merged 1 commit intorust-lang:masterfrom

syphar:settings-js

Jan 8, 2023

Commits on Jan 8, 2023

refs #1979, #1992: workaround for settings.js not served from the root
syphar
committed