diff options
| author | Pierre Roux | 2020-09-04 15:09:00 +0200 |
|---|---|---|
| committer | Pierre Roux | 2020-09-11 22:20:28 +0200 |
| commit | 754e138e1e1c86dcd5e9d07084a5d33a5056ce9d (patch) | |
| tree | 55772785eadac1c653f587f9d0338e5ba9c2dfdc /plugins | |
| parent | 46b9480a717d5ca78e354fa843f39eed87cb7b15 (diff) | |
[refman] Rename numeral to number
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions