diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-10-30 11:59:02 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-10-30 11:59:02 -0500 |
| commit | 985c55c08ed7aa98723f7b774059e94a8f6e1ab0 (patch) | |
| tree | f05be3de6b443a03bf3cfc9081d6669480be7830 /libre-testing | |
| parent | 6189198f1123704aeb0a396cf91dce925672ca51 (diff) | |
linux-libre-api-headers-4.12.7_gnu-1: udpating version
Diffstat (limited to 'libre-testing')
0 files changed, 0 insertions, 0 deletions