diff options
| author | Rubén Rincón Blanco <ruben@rinconblanco.es> | 2022-02-19 21:33:36 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-19 21:33:36 +0100 |
| commit | bd4dfc9456db4d5538d0fd2897b8d6e93a82f2df (patch) | |
| tree | 7ba0c94c6a01f36d7052d6b4e3780e841a0a6071 /lib/compilers/python.js | |
| parent | 57ec09a7d2cae24399c14e411881f62926f7be91 (diff) | |
| download | compiler-explorer-bd4dfc9456db4d5538d0fd2897b8d6e93a82f2df.tar.gz compiler-explorer-bd4dfc9456db4d5538d0fd2897b8d6e93a82f2df.zip | |
Fix timing info widget dark theme check (#3379)gh-2044
Diffstat (limited to 'lib/compilers/python.js')
0 files changed, 0 insertions, 0 deletions