diff options
| author | Nadrieril | 2019-04-11 13:59:42 +0200 |
|---|---|---|
| committer | Nadrieril | 2019-04-11 14:00:00 +0200 |
| commit | 822d828f2f82790b1d0efaac402fe119c56d9006 (patch) | |
| tree | 2527d501ce22d21a23d227da4c349e001d9506a6 /dhall/src/traits | |
| parent | d3f14966120fae672dc890b718ebada74ebed533 (diff) | |
Remove premature #[inline(always)]
Closes #57
Diffstat (limited to 'dhall/src/traits')
0 files changed, 0 insertions, 0 deletions