diff options
| author | Patrick Quist <partouf@gmail.com> | 2022-08-25 21:52:09 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-25 21:52:09 +0200 |
| commit | 5b485d36e3708e192b63400d3bc30bb22cf33330 (patch) | |
| tree | a6db770b803b7b6e82fa7224f331b38b7797f220 /static/main.js | |
| parent | 098e0abc4dc870278f1ab4c060c420a5999b54b3 (diff) | |
| parent | 16dca9d307220229b80327ea0998c4cecec9137b (diff) | |
| download | compiler-explorer-gh-4023.tar.gz compiler-explorer-gh-4023.zip | |
Merge branch 'main' into z88dkgh-4023
Diffstat (limited to 'static/main.js')
| -rw-r--r-- | static/main.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/static/main.js b/static/main.js index 7b3417a6c..4c02fa8d6 100644 --- a/static/main.js +++ b/static/main.js @@ -66,7 +66,7 @@ require('bootstrap/dist/css/bootstrap.min.css'); require('golden-layout/src/css/goldenlayout-base.css'); require('tom-select/dist/css/tom-select.bootstrap4.css'); require('./colours.scss'); -require('./explorer.scss'); +require('./styles/explorer.scss'); // Check to see if the current unload is a UI reset. // Forgive me the global usage here |