mirror of
https://github.com/servo/servo
synced 2026-05-12 18:06:32 +02:00
This PR mistakenly removed JIT enabling/disabling by preference: https://github.com/servo/servo/pull/10342/files Look for `get_pref`. I'm putting the missing piece of code into the appropriate place in script_runtime.rs
8.3 KiB
8.3 KiB