diff options
| author | Vincent Laporte | 2019-10-23 11:53:48 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-10-28 14:40:01 +0000 |
| commit | fc10a2288363f1821101d1d56816de0629e29fa6 (patch) | |
| tree | 35778997190e5150223ac27253825f39955bb9fd /kernel | |
| parent | b5d1c31e2d10084935d36a67e0d44b725210b979 (diff) | |
[stdlib]Reals: use “lia” rather than “omega”
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions