Shnupbups 0ea9a4d14a 24w05a stuff		2024-02-01 09:17:02 +11:00
..
BaseRandom.mapping	Random renames (#3140)	2022-05-19 18:38:07 +01:00
CheckedRandom.mapping	Random renames (#3140)	2022-05-19 18:38:07 +01:00
ChunkRandom.mapping	22w14a random (#3080)	2022-04-07 15:14:42 +01:00
GaussianGenerator.mapping	Random renames (#3140)	2022-05-19 18:38:07 +01:00
LocalRandom.mapping	Random renames (#3140)	2022-05-19 18:38:07 +01:00
Random.mapping	Rename AsyncRandom and nextPredictable (#3178)	2022-05-23 13:12:22 +01:00
RandomSeed.mapping	1.20-pre5 stuff (#3585)	2023-05-24 00:40:02 +09:00
RandomSequence.mapping	23w31a misc (#3623)	2023-08-06 02:35:06 +10:00
RandomSequencesState.mapping	24w05a stuff	2024-02-01 09:17:02 +11:00
RandomSplitter.mapping	Random renames (#3140)	2022-05-19 18:38:07 +01:00
ThreadSafeRandom.mapping	Rename AsyncRandom and nextPredictable (#3178)	2022-05-23 13:12:22 +01:00
Xoroshiro128PlusPlusRandom.mapping	1.20-pre2 stuff (#3579)	2023-05-18 20:15:52 +09:00
Xoroshiro128PlusPlusRandomImpl.mapping	1.20-pre1 more stuff (#3577)	2023-05-14 17:07:18 +02:00