shell-things/etc/default
Aminda Suomalainen 91025d7129
etc/default/grub.d: merge mds.cfg into mitigations.cfg
Ref: #33

Still missing documentation/comments
2019-09-06 12:38:42 +03:00
..
grub.d etc/default/grub.d: merge mds.cfg into mitigations.cfg 2019-09-06 12:38:42 +03:00