diff options
| author | Michael Howell <michael@notriddle.com> | 2020-10-30 14:27:00 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2020-10-30 14:31:04 -0700 |
| commit | 17b8ca952baf5d32ef6e9653b0eda6516386400c (patch) | |
| tree | 1ff504d03badb0362a39d642531b97fbfb61b9d1 /compiler/rustc_mir/src/transform/coverage/counters.rs | |
| parent | 90c7c634e39944873a031624c4fb1dc0aa776e3a (diff) | |
| download | rust-17b8ca952baf5d32ef6e9653b0eda6516386400c.tar.gz rust-17b8ca952baf5d32ef6e9653b0eda6516386400c.zip | |
Pull theme picker keyboard code into main.js
Most of the code in mod.rs should be code that really needs to have the list of available themes inlined into it.
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/counters.rs')
0 files changed, 0 insertions, 0 deletions