diff options
author | P. J. McDermott <pjm@nac.net> | 2013-05-29 09:54:04 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2013-05-29 09:54:04 (EDT) |
commit | 0037a328a13940b31c62ba11d7434a5d208cea4e (patch) | |
tree | ecdc16b73405eae16a6311af6faec8809c10eeaa /linux-libre.pkg/install | |
parent | b18965bf67fddc96e28ceaf666ea7f7146376fc5 (diff) |
Remove linux-libre binary package.
For now, the new package will only build headers.
Diffstat (limited to 'linux-libre.pkg/install')
-rw-r--r-- | linux-libre.pkg/install | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/linux-libre.pkg/install b/linux-libre.pkg/install deleted file mode 100644 index 5b4610b..0000000 --- a/linux-libre.pkg/install +++ /dev/null @@ -1 +0,0 @@ -/boot |