diff options
| author | Emilio Jesus Gallego Arias | 2019-11-29 17:12:16 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-11-29 17:12:16 +0100 |
| commit | 37b1348d54df2d65389987e8bd920f9e1b275c44 (patch) | |
| tree | f651a6c919c078744af13fed4eaff6e20e54389b /dev | |
| parent | 18ad1b309bbdcf8aa4cc12b024b88007dfd9c14f (diff) | |
| parent | ed89ceb71efa910764290e4017c0ca9cb829eb7c (diff) | |
Merge PR #11076: Remove all remaining calls to “omega” from the standard library
Reviewed-by: ejgallego
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions