diff options
| author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2015-09-09 22:06:23 -0300 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2015-09-09 22:06:23 -0300 |
| commit | dca6cce103a1dd7b62d41391b5b8b45c99fb8485 (patch) | |
| tree | e3d3f031d0f19ce5be50df3fb50c6fa5beea6bdf /pcr/ocaml-ppx_tools | |
| parent | 57d30bf9beafb5912998d33d33bfa3175795f867 (diff) | |
linux-libre{,-dtb}: update config.armv7h
Diffstat (limited to 'pcr/ocaml-ppx_tools')
0 files changed, 0 insertions, 0 deletions