Tim van der Meij e75991b49e
Consistently use number for numeric data types in JSDoc comments
Sometimes we also used `Number` and `integer`, but `number` is what
the JSDoc documentation recommends.
2019-10-13 13:58:13 +02:00
..
2018-05-14 23:10:32 -04:00
2018-05-14 23:10:32 -04:00