Rename: jps-plugin -> jps/jps-plugin
This commit is contained in:
Vendored
+6
@@ -0,0 +1,6 @@
|
||||
import java.util.Random
|
||||
|
||||
fun getRandomEnumEntry() =
|
||||
with (Enum.values()) {
|
||||
get(Random().nextInt(size))
|
||||
}
|
||||
Reference in New Issue
Block a user