diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-01-25 21:49:38 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-01-25 21:49:38 -0500 |
| commit | bcc20ebbb1d504b0b072adc9436db3c89f6232c1 (patch) | |
| tree | 482561cd0f92eb8d47845e20c2dbb387f633c9bd /libre/lesspipe | |
| parent | 2cce40ef41d881d2c59e46b867f7a68dce6efd45 (diff) | |
consolekit-1.0.1-2: armv7h port
Diffstat (limited to 'libre/lesspipe')
0 files changed, 0 insertions, 0 deletions