diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2019-03-21T14·49+0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-03-21T14·49+0100 |
| commit | 56f1ed55791fc7e8671f10263baa7a9d15b47c4b (patch) | |
| tree | eac2bcaff33d4db1b9306a8d76ffa11de0e8b0a5 /scripts/install-multi-user.sh | |
| parent | 6a3dfcb623b82d62e090cd023144454bd1a15d91 (diff) | |
| parent | 2aa89daab3a8351a03f6d57d3e1f737cccd59850 (diff) | |
Merge pull request #2741 from mayflower/primop-type-desc
eval: improve type description for primops and applied primops
Diffstat (limited to 'scripts/install-multi-user.sh')
0 files changed, 0 insertions, 0 deletions