diff options
author | Robert Hensing <roberth@users.noreply.github.com> | 2023-08-14 16:53:39 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-08-14 16:53:39 +0200 |
commit | 5542c1f87ee3325bce8140f4087b12647b4107ef (patch) | |
tree | f5357a28c7399a7c92fef2932947ad680010c929 /misc/systemv | |
parent | 584ff408a4e2b6eb0d74989778c640a92089b6d4 (diff) | |
parent | 44c8d83831e310d445493d7071161c622bc302aa (diff) |
Merge pull request #8813 from obsidiansystems/outputOf
Create (experimental) `outputOf` primop.
Diffstat (limited to 'misc/systemv')
0 files changed, 0 insertions, 0 deletions