deirn 80a35594f5 Add a note for where to get server's actual dynamic registry entries (#2649)		2021-08-31 20:40:36 +01:00
..
BuiltinRegistries.mapping	Add a note for where to get server's actual dynamic registry entries (#2649)	2021-08-31 20:40:36 +01:00
DefaultedRegistry.mapping	Util package stuff (#1994)	2021-02-02 17:57:50 +00:00
DynamicRegistryManager.mapping	Remove unnecessary paragraph end tags from documentation (#2295)	2021-04-11 13:08:07 +01:00
MutableRegistry.mapping	misc things (#2409)	2021-05-18 15:38:15 +00:00
Registry.mapping	Assorted fixes (#2253)	2021-04-02 19:01:34 +01:00
RegistryKey.mapping	Remove unnecessary paragraph end tags from documentation (#2295)	2021-04-11 13:08:07 +01:00
SimpleRegistry.mapping	Map lambda parameters of record codec instance (#2438)	2021-05-28 08:08:35 +00:00