diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2020-12-01 22:34:52 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-01 22:34:52 +0100 |
| commit | ae9fe2b2f996abbab1f7f7d037a955a7cffa9b6a (patch) | |
| tree | 1bf8ffa460af0c4f55971910607731e37a79c509 /lib/core | |
| parent | e0b4f05053e87b5b498c53338eed643787783b18 (diff) | |
| download | Nim-ae9fe2b2f996abbab1f7f7d037a955a7cffa9b6a.tar.gz | |
ORC: API extensions (#16126)
* ORC: API extensions * ORC: exploit a common special case
Diffstat (limited to 'lib/core')
0 files changed, 0 insertions, 0 deletions