diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-12-24 17:53:12 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-12-24 17:53:12 -0500 |
commit | a30956a5ca8e3d0cfea3c9280799c1f95d6868e5 (patch) | |
tree | efc4e991067f57f418705a1e15bfc49c899f46d8 /libre/linux-libre | |
parent | 7439b06cada523677bfea826b93f166e2f06fd3b (diff) |
Removing toxic-git. Use toxic instead
Diffstat (limited to 'libre/linux-libre')
0 files changed, 0 insertions, 0 deletions