diff options
| author | Jeremy Cline <jcline@redhat.com> | 2020-02-03 11:03:15 -0500 |
|---|---|---|
| committer | Jeremy Cline <jcline@redhat.com> | 2020-02-03 11:38:06 -0500 |
| commit | 2bdd226657cb9d3721949f19918567a31bf62cb1 (patch) | |
| tree | dc3c0455564ac9c1f9dd488b9852d4dce93e0762 /configs/fedora/generic/CONFIG_PING | |
| parent | 88795a3a9be2ac4f2d9299fd570b6ec033168252 (diff) | |
| download | kernel-2bdd226657cb9d3721949f19918567a31bf62cb1.tar.gz kernel-2bdd226657cb9d3721949f19918567a31bf62cb1.tar.xz kernel-2bdd226657cb9d3721949f19918567a31bf62cb1.zip | |
Linux v5.5-8686-g14cd0bd04907
Diffstat (limited to 'configs/fedora/generic/CONFIG_PING')
| -rw-r--r-- | configs/fedora/generic/CONFIG_PING | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/configs/fedora/generic/CONFIG_PING b/configs/fedora/generic/CONFIG_PING new file mode 100644 index 000000000..d0dcdc8ed --- /dev/null +++ b/configs/fedora/generic/CONFIG_PING @@ -0,0 +1 @@ +# CONFIG_PING is not set |