Files
scratch-gui/static
Thomas Weber a637624e48 Copy static directly into the output root
Changes static/favicon.ico to just favicon.ico. The job of finding the favicon is now left to the browser.
This is important if we want to give experiments its own favicon w/o modifying 40 branches
2021-02-16 13:31:53 -06:00
..