diff options
author | Joris | 2016-10-30 21:37:38 +0100 |
---|---|---|
committer | Joris | 2016-10-30 21:37:38 +0100 |
commit | 8e396abf9f55141f3b6ebab4577edefcbc010c10 (patch) | |
tree | 23a28fba979a13bf1197d4a86c33eb1ed91b79bc /js/src/Number.purs | |
parent | 3617a36bcc2305297c09c4b8bdfd2a55e58d02a2 (diff) |
Rename “Financier” to “Financiers”
Diffstat (limited to 'js/src/Number.purs')
0 files changed, 0 insertions, 0 deletions