diff options
| author | Joris | 2017-03-05 16:35:59 +0100 |
|---|---|---|
| committer | Joris | 2017-03-05 16:35:59 +0100 |
| commit | 063539add1c4f1f27f89f4599169035e45f59933 (patch) | |
| tree | ebd3e5bb22ef1538149f53154e07fe4827fa4583 /js/src/Number.purs | |
| parent | d89a51721db9a27c57f341a6cc944989ec0cfb57 (diff) | |
Use correct name in gitlab-ci
Diffstat (limited to 'js/src/Number.purs')
0 files changed, 0 insertions, 0 deletions