diff options
| author | Rubén Rincón Blanco <ruben@rinconblanco.es> | 2022-02-21 22:42:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-21 22:42:57 +0100 |
| commit | f83e20af436485c6419e4852dc5127996b38edec (patch) | |
| tree | bdea696a9cc7b3d6445a5347b262bcb3e04089f8 /lib/compilers/python.js | |
| parent | 47d1a584d3d14eab3d349e8c5f9a024ad501abd6 (diff) | |
| download | compiler-explorer-f83e20af436485c6419e4852dc5127996b38edec.tar.gz compiler-explorer-f83e20af436485c6419e4852dc5127996b38edec.zip | |
Makes notification messages more readable (#3383)gh-2066
* Makes notification messages more readable
* Fix lint error
* Fix autohide always being false
* Contrast fixes
Diffstat (limited to 'lib/compilers/python.js')
0 files changed, 0 insertions, 0 deletions