diff options
| author | Jack Lloyd <[email protected]> | 2016-08-28 06:35:00 -0400 |
|---|---|---|
| committer | Jack Lloyd <[email protected]> | 2016-08-28 06:35:00 -0400 |
| commit | 4e42b0186b0cd975019918f33cc324428b739a21 (patch) | |
| tree | 00a38b509c829b3d37348af212312aaa211510c7 /.gitignore | |
| parent | 9b79ec7f53fb7e16329fc908eca0ffb20827269e (diff) | |
Work around a bug in FFI
This seems to trigger under ARM
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions