diff options
| author | Dan Halbert <halbert@halwitz.org> | 2019-04-01 14:10:00 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-04-01 14:10:00 -0400 |
| commit | 367f6584aea0791334cca734eebc39dc1b01af37 (patch) | |
| tree | 9c8558d99eca84e34a16c389e53a5cb69cc988b5 /shared-module | |
| parent | bd4a156b9d0ce02300f0ca1cc01c582d0a01d3a1 (diff) | |
| parent | 10e35f30f0540f3b9ccfb005566c1d5e00cd878b (diff) | |
Merge pull request #1734 from dhalbert/hallowing-shrink-build
shrink inline-limit to allow large Hallowing translation to fit
Diffstat (limited to 'shared-module')
0 files changed, 0 insertions, 0 deletions