diff options
| author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2018-02-07T12·32+0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-07T12·32+0100 |
| commit | abe6be578b501e265a3c4a0c33995c4848f28f56 (patch) | |
| tree | 7882f63a1dcfa25b6504fb229541b11b751c5709 /.gitignore | |
| parent | 6f6bfc820544c3fe9cc35ec67ed3f9d4c6a293a3 (diff) | |
| parent | 69d82e5c58bf6d7e16fc296f598c352da2a618d0 (diff) | |
Merge pull request #1816 from shlevy/add-path
Add path primop.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions