diff options
| author | Joris | 2017-05-08 21:15:01 +0200 |
|---|---|---|
| committer | Joris | 2017-05-08 21:15:01 +0200 |
| commit | 6d35b2e155cb29925602d9718052d5ce03e9e764 (patch) | |
| tree | 86f07c5047e2765b28e0d6b1fe36e34f232b2c7c /.gitignore | |
| parent | 14433a928f7fdf9be3193812cbbed1a5ae49ecd7 (diff) | |
Add purescript installation to ci
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions