diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-12-03 08:30:49 +0100 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-12-03 08:43:24 +0100 |
| commit | 1fcdeaee39c175cdc7d4217666306850d2126b50 (patch) | |
| tree | 69eadcdda9fa52cbf1e85947e2edbaec8868c142 /doc/tools/makerst.py | |
| parent | 10bae7c05b18b73b39fbaf5c118780512832f0b3 (diff) | |
Mention that `int()` can be used as an alternative to `floor()`
Diffstat (limited to 'doc/tools/makerst.py')
0 files changed, 0 insertions, 0 deletions