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
/
toShort
to
Short
fun
toShort
(
)
:
Short
Converts the priority into a
Long