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
/
toInt
to
Int
fun
toInt
(
)
:
Int
(
source
)
Converts the priority into an integer