diff options
author | Jeremy Rifkin <51220084+jeremy-rifkin@users.noreply.github.com> | 2022-12-18 10:51:24 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-12-18 10:51:24 -0500 |
commit | 7387fe73d705d4ef78716d3be28643e9583b882f (patch) | |
tree | f7af270ea4f1cd1f7679dcc60fb7e86b30619bd3 /lib/compilers/_all.js | |
parent | ce5d673078fc530370c3626c72ba644873a2b3c5 (diff) | |
download | compiler-explorer-7387fe73d705d4ef78716d3be28643e9583b882f.tar.gz compiler-explorer-7387fe73d705d4ef78716d3be28643e9583b882f.zip |
Handle undefined theme in the site template widget (#4454)
* Handle undefined theme
* Fix comment
Diffstat (limited to 'lib/compilers/_all.js')
0 files changed, 0 insertions, 0 deletions