diff options
| author | Eduardo Julian | 2022-01-24 23:38:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2022-01-24 23:38:55 -0400 |
| commit | 9a08039adfe40f76b9d5a5351005671c15b557bf (patch) | |
| tree | f7d72bd0beb1576018abb4ee6774b8f19d2ea243 /stdlib/source/specification | |
| parent | 6f55815f7f237df406e72c7a723055bb6238fce5 (diff) | |
Added explicit function inlining.
Diffstat (limited to 'stdlib/source/specification')
0 files changed, 0 insertions, 0 deletions