diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-07-25 22:30:41 -0500 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-07-25 22:30:41 -0500 |
| commit | 6a2ff0aede787d0d6f2ac55e30fb1a248881155d (patch) | |
| tree | 2a6167b860c157e53eb311ee3dd46353175d552c /ci/script.sh | |
| parent | 8aa3621034626114716dc7d26443bc39cd717715 (diff) | |
inline claim
because it's needed for proper optimization / inlining
Diffstat (limited to 'ci/script.sh')
0 files changed, 0 insertions, 0 deletions