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-25T18·58+0100
committerGitHub <noreply@github.com>2019-03-25T18·58+0100
commit5c05c238e60998b9fd276b3c4a39c860dc291200 (patch)
tree0291bf82b32516f682b438eafb0bd39047abe211 /scripts/install-multi-user.sh
parent63e7fc509628874bf60d9e436af387bfb1bc00a5 (diff)
parent514b3c7f8345cfcbbe166981214497ed9d93ae18 (diff)
Merge pull request #1828 from zimbatm/isPath
Add isPath primop
Diffstat (limited to 'scripts/install-multi-user.sh')
0 files changed, 0 insertions, 0 deletions