diff options
author | WORLDofPEACE <worldofpeace@protonmail.ch> | 2020-10-06 16:30:27 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-06 16:30:27 -0400 |
commit | d83e5a1ff68f512f3f4c214a5907155cb843c03b (patch) | |
tree | 86086f0e770478ec34047593b962aa3492fb863a /pkgs/development/ocaml-modules/earley/default.nix | |
parent | d01e3d54898937bbaec53da136aa6ed3c3aabec3 (diff) | |
parent | 656cd70ea8ab36bf9ba25fd43cfabe1b14e131db (diff) |
Merge pull request #99697 from worldofpeace/rt-sched-optional-and-off-by-default
nixos/gnome3: add realtime-scheduling option
Diffstat (limited to 'pkgs/development/ocaml-modules/earley/default.nix')
0 files changed, 0 insertions, 0 deletions