diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-08 03:02:19 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2018-08-08 03:02:19 -0500 |
commit | b15a9e8770560950df144f56cf0812277e3c3708 (patch) | |
tree | 9eef97f341ae5b04e91822cd203ad34083578b0e /find-replacements | |
parent | 435055e63456d5e7066c1f9dacffe503968784b5 (diff) |
add linux-pae kernel to blacklist
Diffstat (limited to 'find-replacements')
0 files changed, 0 insertions, 0 deletions