Merge pull request #384 from MarcMeszaros/guide-number-widget-precision
Update documentation to mention 'precision' as widget option
J
Javi Agenjo committed
e27ecd1d78fef0e39bd3e006f85812634f67627d
Committed by GitHub <noreply@github.com>
on 4/28/2023, 9:16:52 AM
