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