diff options
author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2016-11-13 11:35:30 -0300 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2016-11-13 11:35:30 -0300 |
commit | 42c5503b370401c3e9bf2422f1c80eec455db9ba (patch) | |
tree | dddf0522f0088a10c36f25704ce4bd0a3cf011c9 /pcr/ocaml-ounit | |
parent | 2baecdb3395f18fc19e8ceee0a348a77b5b7ca4f (diff) | |
download | abslibre-42c5503b370401c3e9bf2422f1c80eec455db9ba.tar.gz abslibre-42c5503b370401c3e9bf2422f1c80eec455db9ba.tar.bz2 abslibre-42c5503b370401c3e9bf2422f1c80eec455db9ba.zip |
linux-libre: minor fix for armv7h
Diffstat (limited to 'pcr/ocaml-ounit')
0 files changed, 0 insertions, 0 deletions