diff options
author | P. J. McDermott <pjm@nac.net> | 2013-05-29 10:23:59 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2013-05-29 10:23:59 (EDT) |
commit | fe7b23d21cef5a13aec9f822acc7b45ffd43a102 (patch) | |
tree | b2224692370ea7fbd2d1337b28397c0a369515a2 /linux-libre-headers.pkg/install | |
parent | 0037a328a13940b31c62ba11d7434a5d208cea4e (diff) |
Rename and update linux-libre-headers.
Diffstat (limited to 'linux-libre-headers.pkg/install')
-rw-r--r-- | linux-libre-headers.pkg/install | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/linux-libre-headers.pkg/install b/linux-libre-headers.pkg/install deleted file mode 100644 index 2d56f53..0000000 --- a/linux-libre-headers.pkg/install +++ /dev/null @@ -1 +0,0 @@ -/usr/include |