diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-12-15 00:29:41 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-12-15 00:29:41 -0500 |
| commit | 615bdd45d737916d07d35a89ef931944f0464fd2 (patch) | |
| tree | 587b6eb61d61753be0d442704edf988a4129d481 /pcr/ocaml-text | |
| parent | 4d6620d0a6ab38fdd8762f352e5985ba03fae371 (diff) | |
psi-0.15-3.parabola1: armv7h port
Diffstat (limited to 'pcr/ocaml-text')
0 files changed, 0 insertions, 0 deletions