refs #1979, #1992: workaround for settings.js not served from the root#1993
Merged
syphar merged 1 commit intorust-lang:masterfrom Jan 8, 2023
Merged
refs #1979, #1992: workaround for settings.js not served from the root#1993syphar merged 1 commit intorust-lang:masterfrom
syphar merged 1 commit intorust-lang:masterfrom