Updater
Toggle table of contents
0.1.0-rc3
jvm
Platform filter
jvm
Switch theme
Search in API
Updater
Updater
/
io.github.vxrpenter.updater.priority
/
Priority
/
toDouble
to
Double
fun
toDouble
(
)
:
Double
Converts the priority into a
Double