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/config.armv7h | |
| parent | 7439b06cada523677bfea826b93f166e2f06fd3b (diff) | |
Removing toxic-git. Use toxic instead
Diffstat (limited to 'libre/linux-libre/config.armv7h')
0 files changed, 0 insertions, 0 deletions