diff options
author | P. J. McDermott <pj@pehjota.net> | 2014-06-18 12:50:03 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2014-06-18 12:50:03 (EDT) |
commit | abe8d92f39f8022160d735ca333b3ba02b4f5132 (patch) | |
tree | 3ea7a8456d12e0cd5a1a98ea1d4606896005229b /src/linux-libre/3.10.40~gnu | |
parent | bd9ed61bc5c1de1078c9d7072d1d69700cc15ae4 (diff) |
linux-libre: New upstream version.
Diffstat (limited to 'src/linux-libre/3.10.40~gnu')
-rw-r--r-- | src/linux-libre/3.10.40~gnu/config | 2 | ||||
-rw-r--r-- | src/linux-libre/3.10.40~gnu/image | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/src/linux-libre/3.10.40~gnu/config b/src/linux-libre/3.10.40~gnu/config deleted file mode 100644 index 8b4ce01..0000000 --- a/src/linux-libre/3.10.40~gnu/config +++ /dev/null @@ -1,2 +0,0 @@ -# config -# The "dev" platform has no linux-image package. Therefore, this file is empty. diff --git a/src/linux-libre/3.10.40~gnu/image b/src/linux-libre/3.10.40~gnu/image deleted file mode 100644 index f988d51..0000000 --- a/src/linux-libre/3.10.40~gnu/image +++ /dev/null @@ -1,2 +0,0 @@ -# image -# The "dev" platform has no linux-image package. Therefore, this file is empty. |