about summary refs log tree commit diff
path: root/scripts/install-multi-user.sh
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2019-03-21T14·49+0100
committerGitHub <noreply@github.com>2019-03-21T14·49+0100
commit56f1ed55791fc7e8671f10263baa7a9d15b47c4b (patch)
treeeac2bcaff33d4db1b9306a8d76ffa11de0e8b0a5 /scripts/install-multi-user.sh
parent6a3dfcb623b82d62e090cd023144454bd1a15d91 (diff)
parent2aa89daab3a8351a03f6d57d3e1f737cccd59850 (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